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/ui_config_vars.h | |
parent | 73f3abedea6f6ec112f26fe810ad6a7ec56a1e2e (diff) |
provide GUI option to control WM visibility info use
Diffstat (limited to 'gtk2_ardour/ui_config_vars.h')
-rw-r--r-- | gtk2_ardour/ui_config_vars.h | 1 |
1 files changed, 1 insertions, 0 deletions
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) |