redisplay markers after removal - fixes #6596
authorRobin Gareus <robin@gareus.org>
Wed, 23 Sep 2015 22:27:32 +0000 (00:27 +0200)
committerRobin Gareus <robin@gareus.org>
Wed, 23 Sep 2015 22:27:32 +0000 (00:27 +0200)
commitc3a7730c88c3ac19fea36d2b7e0a779ced841a24
treec98f292d70627e8b99b2bbb45c11a1fdbc33c5da
parentfedec84d3b703ebc76281621368a10e3637ebb81
redisplay markers after removal - fixes #6596
gtk2_ardour/editor_markers.cc