From 2ce35fe61c2d5d77069397d1b8ce5a714d174da9 Mon Sep 17 00:00:00 2001 From: Pete Date: Mon, 1 Jun 2015 11:44:52 +0100 Subject: [PATCH] Added Theme UI option for window auto tidy --- src/config/theme.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/config/theme.c b/src/config/theme.c index f73dee19..537771b1 100644 --- a/src/config/theme.c +++ b/src/config/theme.c @@ -428,6 +428,7 @@ _load_preferences(void) _set_boolean_preference("flash", PREF_FLASH); _set_boolean_preference("splash", PREF_SPLASH); _set_boolean_preference("wrap", PREF_WRAP); + _set_boolean_preference("wins.autotidy", PREF_WINS_AUTO_TIDY); _set_string_preference("time", PREF_TIME); _set_string_preference("time.statusbar", PREF_TIME_STATUSBAR);