diff options
| author | Robin Gareus <robin@gareus.org> | 2015-07-16 21:11:22 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2015-07-16 21:11:22 +0200 |
| commit | edce75973c076ab1fa66cc6d601a30fcbbcd5dd4 (patch) | |
| tree | 3032cb753cae70e57facb8a7c604e288f55bbec8 /gtk2_ardour/ardour_ui.h | |
| parent | 762ed5cd18006a8e41d78cdc8442bf8918e9f869 (diff) | |
offer to scan for plugins at first start.
Diffstat (limited to 'gtk2_ardour/ardour_ui.h')
| -rw-r--r-- | gtk2_ardour/ardour_ui.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gtk2_ardour/ardour_ui.h b/gtk2_ardour/ardour_ui.h index b6ec8a8799..722a0bf596 100644 --- a/gtk2_ardour/ardour_ui.h +++ b/gtk2_ardour/ardour_ui.h @@ -336,6 +336,7 @@ class ARDOUR_UI : public Gtkmm2ext::UI, public ARDOUR::SessionHandlePtr NSM_Client* nsm; bool _was_dirty; bool _mixer_on_top; + bool _initial_verbose_plugin_scan; bool first_time_engine_run; void goto_editor_window (); |