diff options
| author | Paul Davis <paul@linuxaudiosystems.com> | 2019-10-11 14:44:30 -0600 |
|---|---|---|
| committer | Paul Davis <paul@linuxaudiosystems.com> | 2019-10-11 14:44:30 -0600 |
| commit | 74454d1859e05ced4c318f3747c72cc18d606ef0 (patch) | |
| tree | 907fe0f4674646595210e85c3a75f68f5decc3ff /gtk2_ardour | |
| parent | 54acf6af6a4b571863e1c69be4defad6b222bc32 (diff) | |
do not accidentally re-create splash
Diffstat (limited to 'gtk2_ardour')
| -rw-r--r-- | gtk2_ardour/ardour_ui.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gtk2_ardour/ardour_ui.cc b/gtk2_ardour/ardour_ui.cc index c9940e73e5..14757dd970 100644 --- a/gtk2_ardour/ardour_ui.cc +++ b/gtk2_ardour/ardour_ui.cc @@ -864,7 +864,7 @@ ARDOUR_UI::~ARDOUR_UI () void ARDOUR_UI::pop_back_splash (Gtk::Window& win) { - if (Splash::instance()) { + if (Splash::exists()) { Splash::instance()->pop_back_for (win); } } |