diff options
author | Leo Tenenbaum <pommicket@gmail.com> | 2021-01-06 17:36:07 -0500 |
---|---|---|
committer | Leo Tenenbaum <pommicket@gmail.com> | 2021-01-06 17:36:07 -0500 |
commit | 132dcb648981050990e34a44925e6b54d0dc008c (patch) | |
tree | 7a41a97308b1921c62d2f5afd12c7cf475f14247 /config.c | |
parent | 9e055b2e25455fc4fa0376495ccc9335059f3131 (diff) |
more open menu, border thickness setting, fixed small text clipping issue
Diffstat (limited to 'config.c')
-rw-r--r-- | config.c | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -292,6 +292,12 @@ void config_read(Ted *ted, char const *filename) { } else { config_err(cfg, "Invalid text size: %s.", value); } + } else if (streq(key, "border-thickness")) { + if (is_integer && integer > 0 && integer < 30) { + settings->border_thickness = (u8)integer; + } else { + config_err(cfg, "Invalid border thickness: %s.", value); + } } else { config_err(cfg, "Unrecognized core setting: %s.", key); } |