diff options
author | Leo Tenenbaum <pommicket@gmail.com> | 2021-01-25 17:07:09 -0500 |
---|---|---|
committer | Leo Tenenbaum <pommicket@gmail.com> | 2021-01-25 17:07:09 -0500 |
commit | a56f549a266e14cdc00a98e8dc3e154f5ac6c23e (patch) | |
tree | b513d9bbf656fe1ac054e3201fe10ac94de461ef /config.c | |
parent | f6d49d377ac136fc29457b3b4501f0488b6412e3 (diff) |
error box; generally better error handling
Diffstat (limited to 'config.c')
-rw-r--r-- | config.c | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -318,6 +318,12 @@ void config_read(Ted *ted, char const *filename) { } else { config_err(cfg, "Invalid scrolloff: %s.", value); } + } else if (streq(key, "error-display-time")) { + if (is_integer && integer >= 0 && integer < U16_MAX) { + settings->error_display_time = (u16)integer; + } else { + config_err(cfg, "Invalid error display time: %s.", value); + } } else { config_err(cfg, "Unrecognized core setting: %s.", key); } |