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 | |
parent | 73f3abedea6f6ec112f26fe810ad6a7ec56a1e2e (diff) |
provide GUI option to control WM visibility info use
-rw-r--r-- | gtk2_ardour/ardour_ui_options.cc | 2 | ||||
-rw-r--r-- | gtk2_ardour/rc_option_editor.cc | 8 | ||||
-rw-r--r-- | gtk2_ardour/ui_config_vars.h | 1 |
3 files changed, 11 insertions, 0 deletions
diff --git a/gtk2_ardour/ardour_ui_options.cc b/gtk2_ardour/ardour_ui_options.cc index 1707ac8154..d313fb7082 100644 --- a/gtk2_ardour/ardour_ui_options.cc +++ b/gtk2_ardour/ardour_ui_options.cc @@ -431,6 +431,8 @@ ARDOUR_UI::parameter_changed (std::string p) } else if (p == "waveform-cache-size") { /* GUI option has units of megabytes; image cache uses units of bytes */ ArdourCanvas::WaveView::set_image_cache_size (UIConfiguration::instance().get_waveform_cache_size() * 1048576); + } else if (p == "use-wm-visibility") { + VisibilityTracker::set_use_window_manager_visibility (UIConfiguration::instance().get_use_wm_visibility()); } else if (p == "action-table-columns") { const uint32_t cols = UIConfiguration::instance().get_action_table_columns (); for (int i = 0; i < 9; ++i) { 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), diff --git a/gtk2_ardour/ui_config_vars.h b/gtk2_ardour/ui_config_vars.h index f69c67abaa..af2a6368e2 100644 --- a/gtk2_ardour/ui_config_vars.h +++ b/gtk2_ardour/ui_config_vars.h @@ -83,3 +83,4 @@ UI_CONFIG_VARIABLE (bool, open_gui_after_adding_plugin, "open-gui-after-adding-p UI_CONFIG_VARIABLE (bool, show_inline_display_by_default, "show-inline-display-by-default", true) UI_CONFIG_VARIABLE (bool, prefer_inline_over_gui, "prefer-inline-over-gui", true) UI_CONFIG_VARIABLE (uint32_t, action_table_columns, "action-table-columns", 0) +UI_CONFIG_VARIABLE (bool, use_wm_visibility, "use-wm-visibility", true) |