tiny detail.. GUI-callback may try to check vmonitor->is_started() or issue a periodic seek update while it's going away
This commit is contained in:
parent
7a02d9e08d
commit
f81cbe06ea
@ -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();
|
||||
|
Loading…
Reference in New Issue
Block a user