From 5b66d6209f565391ce8c3a32c3291910c139b626 Mon Sep 17 00:00:00 2001 From: Luflosi Date: Tue, 21 May 2019 21:54:29 +0200 Subject: [PATCH] Move documentation for `mouse_hide_wait` config option to the top of the `Mouse` group Fixes #1626. This makes it harder to miss this option in case a user is confused why the mouse cursor keeps disappearing. --- kitty/config_data.py | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/kitty/config_data.py b/kitty/config_data.py index b2e609bd0..8cebafa66 100644 --- a/kitty/config_data.py +++ b/kitty/config_data.py @@ -391,6 +391,11 @@ Use negative numbers to change scroll direction.''')) g('mouse') # {{{ +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. +Set to a negative value to hide the mouse cursor immediately when typing text.''')) + o('url_color', '#0087bd', option_type=to_color, long_text=_(''' The color and style for highlighting URLs on mouse-over. :code:`url_style` can be one of: none, single, double, curly''')) @@ -460,11 +465,6 @@ 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=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.''')) - o('focus_follows_mouse', False, long_text=_(''' Set the active window to the window under the mouse when moving the mouse around'''))