From 196af6f2ca7221b38ee14c8f286cc99e0a7108fa Mon Sep 17 00:00:00 2001
From: Damien MEHALA <damien.mehala@gmail.com>
Date: Sat, 21 Dec 2024 23:51:15 +0100
Subject: [PATCH] config: quick terminal auto hide

Introduce a setting allowing to customize the behavior of the quick terminal
when it loses focus. By default, the quick terminal will automatically hide.
However, you can now configure it to remain open by setting
`quick-terminal-autohide: false`.

Resolves #2558
---
 .../QuickTerminal/QuickTerminalController.swift        |  7 ++++++-
 macos/Sources/Ghostty/Ghostty.Config.swift             | 10 +++++++++-
 src/config/Config.zig                                  |  4 ++++
 3 files changed, 19 insertions(+), 2 deletions(-)

diff --git a/macos/Sources/Features/QuickTerminal/QuickTerminalController.swift b/macos/Sources/Features/QuickTerminal/QuickTerminalController.swift
index b5e65d76e..e4606f729 100644
--- a/macos/Sources/Features/QuickTerminal/QuickTerminalController.swift
+++ b/macos/Sources/Features/QuickTerminal/QuickTerminalController.swift
@@ -107,7 +107,9 @@ class QuickTerminalController: BaseTerminalController {
             self.previousApp = nil
         }
 
-        animateOut()
+        if (derivedConfig.quickTerminalAutoHide) {
+            animateOut()
+        }
     }
 
     func windowWillResize(_ sender: NSWindow, to frameSize: NSSize) -> NSSize {
@@ -395,15 +397,18 @@ class QuickTerminalController: BaseTerminalController {
     private struct DerivedConfig {
         let quickTerminalScreen: QuickTerminalScreen
         let quickTerminalAnimationDuration: Double
+        let quickTerminalAutoHide: Bool
 
         init() {
             self.quickTerminalScreen = .main
             self.quickTerminalAnimationDuration = 0.2
+            self.quickTerminalAutoHide = true
         }
 
         init(_ config: Ghostty.Config) {
             self.quickTerminalScreen = config.quickTerminalScreen
             self.quickTerminalAnimationDuration = config.quickTerminalAnimationDuration
+            self.quickTerminalAutoHide = config.quickTerminalAutoHide
         }
     }
 }
diff --git a/macos/Sources/Ghostty/Ghostty.Config.swift b/macos/Sources/Ghostty/Ghostty.Config.swift
index ee37c8cc5..9ca9e1d99 100644
--- a/macos/Sources/Ghostty/Ghostty.Config.swift
+++ b/macos/Sources/Ghostty/Ghostty.Config.swift
@@ -232,7 +232,7 @@ extension Ghostty {
             guard let ptr = v else { return defaultValue }
             return String(cString: ptr)
         }
-        
+
         var macosTitlebarProxyIcon: MacOSTitlebarProxyIcon {
             let defaultValue = MacOSTitlebarProxyIcon.visible
             guard let config = self.config else { return defaultValue }
@@ -366,6 +366,14 @@ extension Ghostty {
             _ = ghostty_config_get(config, &v, key, UInt(key.count))
             return v
         }
+
+        var quickTerminalAutoHide: Bool {
+            guard let config = self.config else { return true }
+            var v = true
+            let key = "quick-terminal-autohide"
+            _ = ghostty_config_get(config, &v, key, UInt(key.count))
+            return v
+        }
         #endif
 
         var resizeOverlay: ResizeOverlay {
diff --git a/src/config/Config.zig b/src/config/Config.zig
index 720c1f305..9a7aed5f7 100644
--- a/src/config/Config.zig
+++ b/src/config/Config.zig
@@ -1404,6 +1404,10 @@ keybind: Keybinds = .{},
 /// runtime.
 @"quick-terminal-animation-duration": f64 = 0.2,
 
+/// 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,
+
 /// Whether to enable shell integration auto-injection or not. Shell integration
 /// greatly enhances the terminal experience by enabling a number of features:
 ///