diff options
author | Robin Gareus <robin@gareus.org> | 2019-12-14 23:32:24 +0100 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2019-12-14 23:44:04 +0100 |
commit | 1881d73f43b64e4f84769b44d066835cb6f6e73b (patch) | |
tree | fbfb7bd9752706488d2f355476272f82ac76d30e /gtk2_ardour/ardour_ui.cc | |
parent | 2b55d6dce3ded525731a6825bed658bca344bd28 (diff) |
Remove unused API (no more unconditional splash pop-back)
Diffstat (limited to 'gtk2_ardour/ardour_ui.cc')
-rw-r--r-- | gtk2_ardour/ardour_ui.cc | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/gtk2_ardour/ardour_ui.cc b/gtk2_ardour/ardour_ui.cc index fa777f2512..06fb3e87df 100644 --- a/gtk2_ardour/ardour_ui.cc +++ b/gtk2_ardour/ardour_ui.cc @@ -857,14 +857,6 @@ ARDOUR_UI::~ARDOUR_UI () #endif } -void -ARDOUR_UI::pop_back_splash (Gtk::Window& win) -{ - if (Splash::exists()) { - Splash::instance()->pop_back_for (win); - } -} - gint ARDOUR_UI::configure_timeout () { |