From 09daaf1ec37b7e7272bf56ac59362ba098c8c846 Mon Sep 17 00:00:00 2001 From: Luflosi Date: Sat, 27 Oct 2018 17:55:16 +0200 Subject: [PATCH] Change click_interval default to -1.0 and add help text for negative click_interval values --- kitty/config_data.py | 13 +++---------- 1 file changed, 3 insertions(+), 10 deletions(-) diff --git a/kitty/config_data.py b/kitty/config_data.py index 932580e6d..3cccb3a10 100644 --- a/kitty/config_data.py +++ b/kitty/config_data.py @@ -399,16 +399,9 @@ Characters considered part of a word when double clicking. In addition to these any character that is marked as an alpha-numeric character in the unicode database will be matched.''')) - -def click_interval(x): - if x == 'system': - return -1.0 - return positive_float(x) - - -o('click_interval', 'system', option_type=click_interval, long_text=_(''' -The interval between successive clicks to detect -double/triple clicks (in seconds)''')) +o('click_interval', -1.0, option_type=float, long_text=_(''' +The interval between successive clicks to detect double/triple clicks (in seconds). +Negative numbers will use the system default instead, if available or fallback to 0.5.''')) o('mouse_hide_wait', 3.0, option_type=positive_float, long_text=_(''' Hide mouse cursor after the specified number of seconds