mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-06-08 22:28:24 +02:00
Code Issues Packages Projects Releases Wiki Activity

Describe new feature in config_data.py

Browse Source
This commit is contained in:
Luflosi
2019-04-15 09:51:57 +02:00
parent beb90f2c55
commit a309069b6b
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
kitty/config_data.py
View File

@@ -447,7 +447,8 @@ Negative numbers will use the system default instead, if available, or fallback
o('mouse_hide_wait', 3.0, option_type=float, long_text=_('''
Hide mouse cursor after the specified number of seconds
of the mouse not being used. Set to zero to disable mouse cursor hiding. TODO'''))
of the mouse not being used. Set to zero to disable mouse cursor hiding.
Set to a negative value to hide the mouse cursor immediately when typing text.'''))
o('focus_follows_mouse', False, long_text=_('''
Set the active window to the window under the mouse when