tiny detail.. GUI-callback may try to check vmonitor->is_started() or issue a periodi...

diff --git a/gtk2_ardour/video_timeline.cc b/gtk2_ardour/video_timeline.cc
index f5915613fcfe34a6fd5b58177c8ab4e1fcc7a7ec..cfe30b243c586f6c742e6ab8bf1a049c3c2e2249 100644 (file)
--- 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();