diff options
| author | Paul Davis <paul@linuxaudiosystems.com> | 2019-10-11 14:29:55 -0600 |
|---|---|---|
| committer | Paul Davis <paul@linuxaudiosystems.com> | 2019-10-11 14:29:55 -0600 |
| commit | 54acf6af6a4b571863e1c69be4defad6b222bc32 (patch) | |
| tree | 22249488f032afe53c6768e8d1dabfa8c16b2c32 /gtk2_ardour/ardour_ui.cc | |
| parent | da2d6312c43213241e0a60656d631a89255d2951 (diff) | |
enforce singleton nature of Splash a little more rigorously, and slightly rationalize it's use
Diffstat (limited to 'gtk2_ardour/ardour_ui.cc')
| -rw-r--r-- | gtk2_ardour/ardour_ui.cc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gtk2_ardour/ardour_ui.cc b/gtk2_ardour/ardour_ui.cc index e3abe4d028..c9940e73e5 100644 --- a/gtk2_ardour/ardour_ui.cc +++ b/gtk2_ardour/ardour_ui.cc @@ -341,7 +341,6 @@ ARDOUR_UI::ARDOUR_UI (int *argcp, char **argvp[], const char* localedir) , midi_port_matrix (X_("midi-connection-manager"), _("MIDI Connections"), boost::bind (&ARDOUR_UI::create_global_port_matrix, this, ARDOUR::DataType::MIDI)) , key_editor (X_("key-editor"), _("Keyboard Shortcuts"), boost::bind (&ARDOUR_UI::create_key_editor, this)) , video_server_process (0) - , splash (0) , have_configure_timeout (false) , last_configure_time (0) , last_peak_grab (0) |