summaryrefslogtreecommitdiff
path: root/config.c
diff options
context:
space:
mode:
authorpommicket <pommicket@gmail.com>2024-07-12 16:26:25 -0400
committerpommicket <pommicket@gmail.com>2024-07-12 16:26:25 -0400
commitdd6dcaec09426e786f5265fcb08dea283cb63fc0 (patch)
treea128399bebb00c80d33bcdac1a472450c0643ad8 /config.c
parent71f1f03835566abd979fb1cb572a5195611ac9f7 (diff)
Add sync option to control how much stuff to sync to disk
Diffstat (limited to 'config.c')
-rw-r--r--config.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/config.c b/config.c
index 7bdcc7c..12153d2 100644
--- a/config.c
+++ b/config.c
@@ -166,6 +166,7 @@ static const SettingString settings_string[] = {
{"comment-end", &settings_zero.comment_end, true},
{"font", &settings_zero.font, false},
{"font-bold", &settings_zero.font_bold, false},
+ {"sync", &settings_zero.sync, false},
};
static const SettingKeyCombo settings_key_combo[] = {
{"hover-key", &settings_zero.hover_key, true},