mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-06-10 18:48:54 +02:00
Code Issues Packages Projects Releases Wiki Activity

Change click_interval default to -1.0 and add help text for negative click_interval values

Browse Source
This commit is contained in:
Luflosi
2018-10-27 17:55:16 +02:00
parent 09183772d3
commit 09daaf1ec3
1 changed files with 3 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
kitty/config_data.py
View File

@@ -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