diff options
Diffstat (limited to 'gtk2_ardour/editor_markers.cc')
| -rw-r--r-- | gtk2_ardour/editor_markers.cc | 7 |
1 files changed, 7 insertions, 0 deletions
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; } } |