diff options
| author | Paul Davis <paul@linuxaudiosystems.com> | 2016-06-07 18:29:40 -0400 |
|---|---|---|
| committer | Paul Davis <paul@linuxaudiosystems.com> | 2016-06-07 18:29:40 -0400 |
| commit | 3e089ee678164440be71a90c01a77b47e5f16654 (patch) | |
| tree | c9f28da9af678163036e7d8330e02eec816f4f90 /gtk2_ardour/rc_option_editor.cc | |
| parent | 73f3abedea6f6ec112f26fe810ad6a7ec56a1e2e (diff) | |
provide GUI option to control WM visibility info use
Diffstat (limited to 'gtk2_ardour/rc_option_editor.cc')
| -rw-r--r-- | gtk2_ardour/rc_option_editor.cc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gtk2_ardour/rc_option_editor.cc b/gtk2_ardour/rc_option_editor.cc index 6e94744041..57a1973188 100644 --- a/gtk2_ardour/rc_option_editor.cc +++ b/gtk2_ardour/rc_option_editor.cc @@ -3046,6 +3046,14 @@ if (!ARDOUR::Profile->get_mixbus()) { add_option (S_("Preferences|GUI"), new BoolOption ( + "use-wm-visibility", + _("Use Window Manager/Desktop visibility information"), + sigc::mem_fun (UIConfiguration::instance(), &UIConfiguration::get_use_wm_visibility), + sigc::mem_fun (UIConfiguration::instance(), &UIConfiguration::set_use_wm_visibility) + )); + + add_option (S_("Preferences|GUI"), + new BoolOption ( "widget-prelight", _("Graphically indicate mouse pointer hovering over various widgets"), sigc::mem_fun (UIConfiguration::instance(), &UIConfiguration::get_widget_prelight), |