KittyPatch/kitty
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

macOS: Disable mouse hiding by default as getting it to work robustly on Cocoa is too much effort

Browse Source 
See #2158
This commit is contained in:
Kovid Goyal
2019-11-24 11:29:23 +05:30
parent f987f3ba77
commit bd75157428
2 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
kitty/config_data.py
+5 -2
View File
@@ -393,10 +393,13 @@ Use negative numbers to change scroll direction.'''))
g('mouse') # {{{
o('mouse_hide_wait', 3.0, option_type=float, long_text=_('''
o('mouse_hide_wait', 0.0 if is_macos else 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.
Set to a negative value to hide the mouse cursor immediately when typing text.'''))
Set to a negative value to hide the mouse cursor immediately when typing text.
Disabled by default on macOS as getting it to work robustly with
the ever-changing sea of bugs that is Cocoa is too much effort.
'''))
o('url_color', '#0087bd', option_type=to_color, long_text=_('''
The color and style for highlighting URLs on mouse-over.