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

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
         }
     }
 }

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 {