From 25cfcdba76be1eac491a84c87381506bac74eaf5 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Tue, 16 Apr 2019 15:16:14 +0530
Subject: [PATCH] Dont hide mouse on modifier key presses

---
 kitty/keys.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kitty/keys.c b/kitty/keys.c
index 4168f04b0..c9c4dc2cc 100644
--- a/kitty/keys.c
+++ b/kitty/keys.c
@@ -128,7 +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);
+    if (OPT(mouse_hide_wait) < 0 && !is_modifier_key(key)) hide_mouse(global_state.callback_os_window);
     Screen *screen = w->render_data.screen;
     switch(state) {
         case 1:  // update pre-edit text