diff options
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 ( |