diff options
author | Paul Davis <paul@linuxaudiosystems.com> | 2019-11-08 16:56:59 -0700 |
---|---|---|
committer | Paul Davis <paul@linuxaudiosystems.com> | 2019-11-08 16:57:11 -0700 |
commit | 3cecc3d26bb746aa8b2e6d22811e936e8925d61a (patch) | |
tree | eeef52ca8edac14000bc29ecc0338a4f7f7847ac /gtk2_ardour/splash.cc | |
parent | 9b0ffbfb94c232cbeffe9d9cc94763dd8f62205b (diff) |
fix crash if Splash::pop_back_for() is called without splash on-screen
Diffstat (limited to 'gtk2_ardour/splash.cc')
-rw-r--r-- | gtk2_ardour/splash.cc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gtk2_ardour/splash.cc b/gtk2_ardour/splash.cc index 11e88cb1ad..70a855ded4 100644 --- a/gtk2_ardour/splash.cc +++ b/gtk2_ardour/splash.cc @@ -151,7 +151,9 @@ Splash::pop_back_for (Gtk::Window& win) hide(); #else set_keep_above (false); - get_window()->restack (win.get_window(), false); + if (is_mapped()) { + get_window()->restack (win.get_window(), false); + } #endif } |