diff options
| author | Robin Gareus <robin@gareus.org> | 2013-06-06 23:55:08 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2013-06-06 23:55:08 +0200 |
| commit | b91b920b9b2c6d65235cd3515a49fcad971a01ac (patch) | |
| tree | 47f8e030341e8fef3abb3e870b7797cfa37a534c /gtk2_ardour/rc_option_editor.cc | |
| parent | 53c6c714cd139df9debadad9008e1e49badf3479 (diff) | |
proper plugin-UI interaction/semantics
Always show plugin's own UI (if available) on double-click
Alt+double-click -> show 'generic controls'.
Context-menu offers both choices.
Use Tooltip for to make it discoverable.
Diffstat (limited to 'gtk2_ardour/rc_option_editor.cc')
| -rw-r--r-- | gtk2_ardour/rc_option_editor.cc | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/gtk2_ardour/rc_option_editor.cc b/gtk2_ardour/rc_option_editor.cc index 216a122e91..da0e55c7a2 100644 --- a/gtk2_ardour/rc_option_editor.cc +++ b/gtk2_ardour/rc_option_editor.cc @@ -1855,13 +1855,6 @@ RCOptionEditor::RCOptionEditor () /* font scaling does nothing with GDK/Quartz */ add_option (S_("Preferences|GUI"), new FontScalingOptions (_rc_config)); #endif - add_option (S_("Preferences|GUI"), - new BoolOption ( - "use-own-plugin-gui", - string_compose (_("Use plugins' own interfaces instead of %1's"), PROGRAM_NAME), - sigc::mem_fun (*_rc_config, &RCConfiguration::get_use_plugin_own_gui), - sigc::mem_fun (*_rc_config, &RCConfiguration::set_use_plugin_own_gui) - )); add_option (S_("GUI"), new BoolOption ( |