diff options
author | Paul Davis <paul@linuxaudiosystems.com> | 2019-10-24 21:12:05 -0600 |
---|---|---|
committer | Paul Davis <paul@linuxaudiosystems.com> | 2019-10-24 21:32:46 -0600 |
commit | be12af293d0f87bb3a1e29eb19a68474fc53092d (patch) | |
tree | f8324e50b0bfb931e5ccf76d5544be64aaa1d6ce /gtk2_ardour/ardour_ui.cc | |
parent | 0ea395b934593ffa8ce3a323d6defd4d86a4d223 (diff) |
remove now-unused member variable
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 d109c27de1..ecc76e6dfb 100644 --- a/gtk2_ardour/ardour_ui.cc +++ b/gtk2_ardour/ardour_ui.cc @@ -300,7 +300,6 @@ ARDOUR_UI::ARDOUR_UI (int *argcp, char **argvp[], const char* localedir) , nsm (0) , _was_dirty (false) , _mixer_on_top (false) - , _initial_verbose_plugin_scan (false) , _shared_popup_menu (0) , startup_fsm (0) , secondary_clock_spacer (0) |