From 30c1ab737c531dcc4faca9c7a21b60efdd881cf0 Mon Sep 17 00:00:00 2001
From: Mitchell Hashimoto <mitchell.hashimoto@gmail.com>
Date: Mon, 3 Jun 2024 15:03:22 -0700
Subject: [PATCH] core: only hide mouse on key press events

see comment
---
 src/Surface.zig | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/Surface.zig b/src/Surface.zig
index e40c0a06f..fb267b50c 100644
--- a/src/Surface.zig
+++ b/src/Surface.zig
@@ -1308,7 +1308,10 @@ pub fn keyCallback(
     }
 
     // If this input event has text, then we hide the mouse if configured.
+    // We only do this on pressed events to avoid hiding the mouse when we
+    // change focus due to a keybinding (i.e. switching tabs).
     if (self.config.mouse_hide_while_typing and
+        event.action == .press and
         !self.mouse.hidden and
         event.utf8.len > 0)
     {