diff options
| author | Robin Gareus <robin@gareus.org> | 2013-07-31 20:19:57 +0200 |
|---|---|---|
| committer | Paul Davis <paul@linuxaudiosystems.com> | 2013-08-08 15:26:18 -0400 |
| commit | 1700b30e4edc913a38473ceca6317c280b3a3de2 (patch) | |
| tree | ac31b82237131de5d0255d31d9b62184450d78ca /gtk2_ardour/video_timeline.cc | |
| parent | 6b02d50d5ec1018bd6d62dcc8a972f292521b811 (diff) | |
tiny detail.. GUI-callback may try to check vmonitor->is_started() or issue a periodic seek update while it's going away
Diffstat (limited to 'gtk2_ardour/video_timeline.cc')
| -rw-r--r-- | gtk2_ardour/video_timeline.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gtk2_ardour/video_timeline.cc b/gtk2_ardour/video_timeline.cc index f5915613fc..cfe30b243c 100644 --- a/gtk2_ardour/video_timeline.cc +++ b/gtk2_ardour/video_timeline.cc @@ -816,8 +816,8 @@ VideoTimeLine::terminated_video_monitor () { vmonitor->save_session(); delete vmonitor; } - GuiUpdate("set-xjadeo-active-off"); vmonitor=0; + GuiUpdate("set-xjadeo-active-off"); if (reopen_vmonitor) { reopen_vmonitor=false; open_video_monitor(); |