diff options
| author | Robin Gareus <robin@gareus.org> | 2014-04-20 02:50:38 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2014-04-20 02:51:27 +0200 |
| commit | 1ea6321ad5da6c3ba3189d2f2337012c12ef8bb4 (patch) | |
| tree | 7e9f867cd0483851cda61257acaa9c899cd73832 /gtk2_ardour | |
| parent | 0524f1ec1489f7fb1f864e29846f45d00a8b59ad (diff) | |
update GUI while waiting for video server to respond
Diffstat (limited to 'gtk2_ardour')
| -rw-r--r-- | gtk2_ardour/ardour_ui.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gtk2_ardour/ardour_ui.cc b/gtk2_ardour/ardour_ui.cc index ebdbc06517..00ac6fb634 100644 --- a/gtk2_ardour/ardour_ui.cc +++ b/gtk2_ardour/ardour_ui.cc @@ -3555,6 +3555,7 @@ ARDOUR_UI::start_video_server (Gtk::Window* float_window, bool popup_msg) int timeout = 120; // 6 sec while (!ARDOUR_UI::instance()->video_timeline->check_server()) { Glib::usleep (50000); + gui_idle_handler(); if (--timeout <= 0 || !video_server_process->is_running()) break; } if (timeout <= 0) { |