From a7bc57020468568511928f123e0d5a62eee31d4a Mon Sep 17 00:00:00 2001 From: Mitchell Hashimoto Date: Thu, 14 Sep 2023 19:55:01 -0700 Subject: [PATCH] update config docs around mouse-hide-while-typing --- src/config/Config.zig | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/config/Config.zig b/src/config/Config.zig index 7a0adb8c4..64aa0d13d 100644 --- a/src/config/Config.zig +++ b/src/config/Config.zig @@ -120,7 +120,8 @@ palette: Palette = .{}, @"cursor-text": ?Color = null, /// Hide the mouse immediately when typing. The mouse becomes visible -/// again when the mouse is used. +/// again when the mouse is used. The mouse is only hidden if the mouse +/// cursor is over the active terminal surface. @"mouse-hide-while-typing": bool = false, /// The opacity level (opposite of transparency) of the background.