From 39c58ad29dadb4e5bfd4711f3a98880a41b1d6ee Mon Sep 17 00:00:00 2001 From: Jost Alemann Date: Wed, 30 Oct 2024 14:46:23 +0100 Subject: [PATCH] optionally hide mouse when using arrow keys or typing --- src/Surface.zig | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/src/Surface.zig b/src/Surface.zig index 82d1240eb..4d2791fb5 100644 --- a/src/Surface.zig +++ b/src/Surface.zig @@ -1565,13 +1565,17 @@ pub fn keyCallback( if (self.io.terminal.modes.get(.disable_keyboard)) return .consumed; } - // If this input event has text, then we hide the mouse if configured. + // If this input event has text or is an arrow key, 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) + (event.utf8.len > 0 or + event.key == input.Key.up or + event.key == input.Key.down or + event.key == input.Key.left or + event.key == input.Key.right)) { self.hideMouse(); }