From a309069b6b1b3bdf13069465ab4ff99c232971b4 Mon Sep 17 00:00:00 2001 From: Luflosi Date: Mon, 15 Apr 2019 09:51:57 +0200 Subject: [PATCH] Describe new feature in config_data.py --- kitty/config_data.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/kitty/config_data.py b/kitty/config_data.py index ba99087e4..c13355335 100644 --- a/kitty/config_data.py +++ b/kitty/config_data.py @@ -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