From bd751574285b8714f77e4e6ea61849ee42a7289a Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sun, 24 Nov 2019 11:29:23 +0530 Subject: [PATCH] macOS: Disable mouse hiding by default as getting it to work robustly on Cocoa is too much effort See #2158 --- docs/changelog.rst | 3 +++ kitty/config_data.py | 7 +++++-- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/docs/changelog.rst b/docs/changelog.rst index 8f1a6a67b..83fb47226 100644 --- a/docs/changelog.rst +++ b/docs/changelog.rst @@ -50,6 +50,9 @@ To update |kitty|, :doc:`follow the instructions `. - Wayland: Fix incorrect scale used when first creating an OS window (:iss:`2133`) +- macOS: Disable mouse hiding by default as getting it to work robustly + on Cocoa is too much effort (:iss:`2158`) + 0.14.6 [2019-09-25] --------------------- diff --git a/kitty/config_data.py b/kitty/config_data.py index a496f950b..31ab6b756 100644 --- a/kitty/config_data.py +++ b/kitty/config_data.py @@ -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.