From 002c3b1646f5ba03ce5b13471dff3ff83606c73e Mon Sep 17 00:00:00 2001
From: Colin Fletcher <colin.m.fletcher@googlemail.com>
Date: Mon, 1 Dec 2014 20:06:08 +0000
Subject: [PATCH] Add comment about parameters to coverage() including the end
 point.

---
 gtk2_ardour/editor_ops.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gtk2_ardour/editor_ops.cc b/gtk2_ardour/editor_ops.cc
index f0de126c67..e8ca0e1ee2 100644
--- a/gtk2_ardour/editor_ops.cc
+++ b/gtk2_ardour/editor_ops.cc
@@ -2703,6 +2703,7 @@ static void
 add_if_covered (RegionView* rv, const AudioRange* ar, RegionSelection* rs)
 {
 	switch (rv->region()->coverage (ar->start, ar->end - 1)) {
+	// n.b. -1 because AudioRange::end is one past the end, but coverage expects inclusive ranges
 	case Evoral::OverlapNone:
 		break;
 	default: