diff options
-rw-r--r-- | gtk2_ardour/video_timeline.cc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gtk2_ardour/video_timeline.cc b/gtk2_ardour/video_timeline.cc index 328d1311ac..9460632e6c 100644 --- a/gtk2_ardour/video_timeline.cc +++ b/gtk2_ardour/video_timeline.cc @@ -532,8 +532,16 @@ VideoTimeLine::video_file_info (std::string filename, bool local) if (found_xjadeo() && local_file) { GuiUpdate("set-xjadeo-sensitive-on"); if (vmonitor && vmonitor->is_started()) { +#if 1 + /* xjadeo <= 0.6.4 has a bug where changing the video-file may segfauls + * if the geometry changes to a different line-size alignment + */ + reopen_vmonitor = true; + vmonitor->quit(); +#else vmonitor->set_fps(video_file_fps); vmonitor->open(video_filename); +#endif } } else if (!local_file) { #if 1 /* temp debug/devel message */ |