diff options
| author | Paul Davis <paul@linuxaudiosystems.com> | 2015-05-28 11:46:01 -0400 |
|---|---|---|
| committer | Paul Davis <paul@linuxaudiosystems.com> | 2015-05-28 12:46:43 -0400 |
| commit | 34d19ce8792cd2ad7012bc4d74c5012f697d87f0 (patch) | |
| tree | 7ffeb8e3a96fe1cac69c46e7765c043c0a8caa1d /gtk2_ardour | |
| parent | 5cc04c55c1bfc3f640c405b11aa1467b4a9f4ee7 (diff) | |
add control for buggy gradient option
Diffstat (limited to 'gtk2_ardour')
| -rw-r--r-- | gtk2_ardour/rc_option_editor.cc | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gtk2_ardour/rc_option_editor.cc b/gtk2_ardour/rc_option_editor.cc index d9a71a783e..9efd73ed28 100644 --- a/gtk2_ardour/rc_option_editor.cc +++ b/gtk2_ardour/rc_option_editor.cc @@ -2644,6 +2644,16 @@ RCOptionEditor::RCOptionEditor () /* INTERFACE */ + BoolOption* bgo = new BoolOption ( + "buggy-gradients", + _("Possibly improve slow graphical performance"), + sigc::mem_fun (*_ui_config, &UIConfiguration::get_buggy_gradients), + sigc::mem_fun (*_ui_config, &UIConfiguration::set_buggy_gradients) + ); + + Gtkmm2ext::UI::instance()->set_tip (bgo->tip_widget(), string_compose (_("This requires restarting %1 before having an effect"), PROGRAM_NAME)); + add_option (S_("Preferences|GUI"), bgo); + add_option (S_("Preferences|GUI"), new BoolOption ( "widget-prelight", |