From 260a90cbf00812799c83d737c43536fb1c357972 Mon Sep 17 00:00:00 2001 From: Leah Amelia Chen Date: Thu, 6 Mar 2025 10:47:20 +0100 Subject: [PATCH] config: make quick-terminal-autohide=false on Linux See diff for explanation --- src/config/Config.zig | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/src/config/Config.zig b/src/config/Config.zig index a6612a4d3..753aa6283 100644 --- a/src/config/Config.zig +++ b/src/config/Config.zig @@ -1675,7 +1675,17 @@ keybind: Keybinds = .{}, /// Automatically hide the quick terminal when focus shifts to another window. /// Set it to false for the quick terminal to remain open even when it loses focus. -@"quick-terminal-autohide": bool = true, +/// +/// Defaults to true on macOS and on false on Linux. This is because global +/// shortcuts on Linux require system configuration and are considerably less +/// accessible than on macOS, meaning that it is more preferable to keep the +/// quick terminal open until the user has completed their task. +/// This default may change in the future. +@"quick-terminal-autohide": bool = switch (builtin.os.tag) { + .linux => false, + .macos => true, + else => false, +}, /// This configuration option determines the behavior of the quick terminal /// when switching between macOS spaces. macOS spaces are virtual desktops