From 2648668da9104829ce88451c510e691df25fbf65 Mon Sep 17 00:00:00 2001
From: Daniel Kinzler <kinzler.daniel@gmail.com>
Date: Mon, 13 Apr 2026 19:01:56 +0200
Subject: [PATCH] fix quick-terminal breaking when it is manually toggled while
 autohide is enabled

---
 src/apprt/gtk/class/window.zig | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/apprt/gtk/class/window.zig b/src/apprt/gtk/class/window.zig
index bf2a2fe7c..0c8dfaa7c 100644
--- a/src/apprt/gtk/class/window.zig
+++ b/src/apprt/gtk/class/window.zig
@@ -1079,7 +1079,10 @@ pub const Window = extern struct {
         // Hide quick-terminal if set to autohide
         if (self.isQuickTerminal()) {
             if (self.getConfig()) |cfg| {
-                if (cfg.get().@"quick-terminal-autohide" and self.as(gtk.Window).isActive() == 0) {
+                if (cfg.get().@"quick-terminal-autohide" and
+                    self.as(gtk.Window).isActive() == 0 and
+                    self.as(gtk.Widget).isVisible() == 1)
+                {
                     self.toggleVisibility();
                 }
             }