mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-13 20:14:12 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'hide_mouse_on_key' of https://github.com/Luflosi/kitty

Browse Source
This commit is contained in:
Kovid Goyal
2019-04-15 19:55:00 +05:30
parent 6e9b41314e df9c1aea64
commit 6f5004fc13
3 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
kitty/config_data.py
View File

@@ -445,9 +445,10 @@ 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=positive_float, long_text=_('''
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.'''))
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

1
kitty/keys.c
View File

@@ -128,6 +128,7 @@ on_key_input(int key, int scancode, int action, int mods, const char* text, int
(action == GLFW_RELEASE ? "RELEASE" : (action == GLFW_PRESS ? "PRESS" : "REPEAT")),
mods, text, state);
if (!w) { debug("no active window, ignoring\n"); return; }
if (OPT(mouse_hide_wait) < 0) hide_mouse(global_state.callback_os_window);
Screen *screen = w->render_data.screen;
switch(state) {
case 1: // update pre-edit text