summaryrefslogtreecommitdiff
path: root/config.c
diff options
context:
space:
mode:
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 ddfc8ad..7f52fe0 100644
--- a/config.c
+++ b/config.c
@@ -288,6 +288,7 @@ static OptionU32 const options_u32[] = {
static OptionFloat const options_float[] = {
{"cursor-blink-time-on", &options_zero.cursor_blink_time_on, 0, 1000, true},
{"cursor-blink-time-off", &options_zero.cursor_blink_time_off, 0, 1000, true},
+ {"hover-time", &options_zero.hover_time, 0, INFINITY, true},
};
static OptionString const options_string[] = {
{"build-default-command", options_zero.build_default_command, sizeof options_zero.build_default_command, true},