add buggy gradient option

diff --git a/gtk2_ardour/ui_config_vars.h b/gtk2_ardour/ui_config_vars.h
index 8c6f7bff8811454d26557ac8dcae031c8aa91b1d..7cf96ce7b0e2980841d970242a17a0331957116d 100644 (file)
--- a/gtk2_ardour/ui_config_vars.h
+++ b/gtk2_ardour/ui_config_vars.h
@@ -71,3 +71,4 @@ UI_CONFIG_VARIABLE (bool, show_editor_meter, "show-editor-meter", true)
 UI_CONFIG_VARIABLE (double, waveform_clip_level, "waveform-clip-level", -0.0933967) /* units of dB */
 UI_CONFIG_VARIABLE (bool, hiding_groups_deactivates_groups, "hiding-groups-deactivates-groups", true)
 UI_CONFIG_VARIABLE (bool, no_new_session_dialog, "no-new-session-dialog", false)
+UI_CONFIG_VARIABLE (bool, buggy_gradients, "buggy-gradients", false)