From 29312e76e5348f91b1227723ec4fce2df1c9cec7 Mon Sep 17 00:00:00 2001
From: Mitchell Hashimoto <mitchell.hashimoto@gmail.com>
Date: Wed, 6 Dec 2023 11:38:26 -0800
Subject: [PATCH] core: mods change doesn't unhide mouse

Fixes #989
---
 src/Surface.zig | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/Surface.zig b/src/Surface.zig
index 67aeb2d1d..9b278ac62 100644
--- a/src/Surface.zig
+++ b/src/Surface.zig
@@ -1245,12 +1245,17 @@ pub fn keyCallback(
     // This handles the scenario where URL highlighting should be
     // toggled for example.
     if (!self.mouse.mods.equal(event.mods)) mouse_mods: {
+        // Usually moving the cursor unhides the mouse so we need
+        // to hide it again if it was hidden.
+        const rehide = self.mouse.hidden;
+
         // We set this to null to force link reprocessing since
         // mod changes can affect link highlighting.
         self.mouse.link_point = null;
         self.mouse.mods = event.mods;
         const pos = self.rt_surface.getCursorPos() catch break :mouse_mods;
         self.cursorPosCallback(pos) catch {};
+        if (rehide) self.hideMouse();
     }
 
     // When we are in the middle of a mouse event and we press shift,