From a56f549a266e14cdc00a98e8dc3e154f5ac6c23e Mon Sep 17 00:00:00 2001 From: Leo Tenenbaum Date: Mon, 25 Jan 2021 17:07:09 -0500 Subject: error box; generally better error handling --- config.c | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'config.c') diff --git a/config.c b/config.c index 39a5d80..46a389f 100644 --- a/config.c +++ b/config.c @@ -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); } -- cgit v1.2.3