diff options
| author | Robin Gareus <robin@gareus.org> | 2013-07-31 20:19:57 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2013-07-31 20:19:57 +0200 |
| commit | f81cbe06ea3439d0c58057ae40ea63f1b6bf484b (patch) | |
| tree | 5bc95bb4996cb2a415517d2266aff9625cd3ba76 /gtk2_ardour/video_timeline.cc | |
| parent | 7a02d9e08d36407956aaedf2142f692f1857a330 (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 02c01f9eb9..9a48fcc9e3 100644 --- a/gtk2_ardour/video_timeline.cc +++ b/gtk2_ardour/video_timeline.cc @@ -818,8 +818,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(); |