diff options
author | pommicket <pommicket@gmail.com> | 2024-07-12 16:26:25 -0400 |
---|---|---|
committer | pommicket <pommicket@gmail.com> | 2024-07-12 16:26:25 -0400 |
commit | dd6dcaec09426e786f5265fcb08dea283cb63fc0 (patch) | |
tree | a128399bebb00c80d33bcdac1a472450c0643ad8 /config.c | |
parent | 71f1f03835566abd979fb1cb572a5195611ac9f7 (diff) |
Add sync option to control how much stuff to sync to disk
Diffstat (limited to 'config.c')
-rw-r--r-- | config.c | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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}, |