diff options
| author | Robin Gareus <robin@gareus.org> | 2015-09-24 00:27:32 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2015-09-24 00:27:32 +0200 |
| commit | c3a7730c88c3ac19fea36d2b7e0a779ced841a24 (patch) | |
| tree | c98f292d70627e8b99b2bbb45c11a1fdbc33c5da /gtk2_ardour/editor_markers.cc | |
| parent | fedec84d3b703ebc76281621368a10e3637ebb81 (diff) | |
redisplay markers after removal - fixes #6596
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; } } |