redisplay markers after removal - fixes #6596

diff --git a/gtk2_ardour/editor_markers.cc b/gtk2_ardour/editor_markers.cc
index a0342327a1c15530c2e5b53c647f0e4962c787da..a8663edf6f71b07ba67814150057be2f6bab4f8b 100644 (file)
--- 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;
                }
        }