diff options
| -rw-r--r-- | gtk2_ardour/splash.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gtk2_ardour/splash.cc b/gtk2_ardour/splash.cc index 99adff68e9..b606ec6050 100644 --- a/gtk2_ardour/splash.cc +++ b/gtk2_ardour/splash.cc @@ -236,7 +236,7 @@ Splash::message (const string& msg) } while (!expose_done) { - gtk_main_iteration (); + if(gtk_main_iteration ()) return; // quit was called } gdk_display_flush (gdk_display_get_default()); } |