diff options
author | Robin Gareus <robin@gareus.org> | 2013-06-09 19:39:25 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2013-06-09 22:56:33 +0200 |
commit | 788b14365e2d15bd87759d6a939bfb6a1b13dec2 (patch) | |
tree | 89830cb673a33e074fd534dee00caa1ff90b6348 /gtk2_ardour/video_timeline.cc | |
parent | e1802c9971a127085ec2c5889806df8cfae48068 (diff) |
fix video-monitor session settings
save settings when xjadeo terminates,
not only on explicit session save/quit.
Diffstat (limited to 'gtk2_ardour/video_timeline.cc')
-rw-r--r-- | gtk2_ardour/video_timeline.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gtk2_ardour/video_timeline.cc b/gtk2_ardour/video_timeline.cc index 3b3d401c5e..176752f867 100644 --- a/gtk2_ardour/video_timeline.cc +++ b/gtk2_ardour/video_timeline.cc @@ -762,6 +762,7 @@ VideoTimeLine::control_video_monitor(int what, int param) { void VideoTimeLine::terminated_video_monitor () { if (vmonitor) { + vmonitor->save_session(); delete vmonitor; } GuiUpdate("set-xjadeo-active-off"); |