From f81cbe06ea3439d0c58057ae40ea63f1b6bf484b Mon Sep 17 00:00:00 2001 From: Robin Gareus Date: Wed, 31 Jul 2013 20:19:57 +0200 Subject: [PATCH] tiny detail.. GUI-callback may try to check vmonitor->is_started() or issue a periodic seek update while it's going away --- gtk2_ardour/video_timeline.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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();