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
6b02d50d5e
commit
1700b30e4e
@ -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();
|
||||
|
Loading…
Reference in New Issue
Block a user