From c3a7730c88c3ac19fea36d2b7e0a779ced841a24 Mon Sep 17 00:00:00 2001
From: Robin Gareus <robin@gareus.org>
Date: Thu, 24 Sep 2015 00:27:32 +0200
Subject: [PATCH] redisplay markers after removal - fixes #6596

---
 gtk2_ardour/editor_markers.cc | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/gtk2_ardour/editor_markers.cc b/gtk2_ardour/editor_markers.cc
index a0342327a1..a8663edf6f 100644
--- a/gtk2_ardour/editor_markers.cc
+++ b/gtk2_ardour/editor_markers.cc
@@ -783,6 +783,13 @@ Editor::location_gone (Location *location)
 			LocationMarkers* m = i->second;
 			location_markers.erase (i);
 			delete m;
+
+			/* Markers that visually overlap with this (removed) marker
+			 * need to be re-displayed.
+			 * But finding such cases is similarly expensive as simply
+			 * re-displaying all..  so:
+			 */
+			refresh_location_display ();
 			break;
 		}
 	}