From 4ed2b82f2f24e5d8ea7bd79e7ce32b87799f2910 Mon Sep 17 00:00:00 2001
From: Gregor Lohaus <lohausgregor@gmail.com>
Date: Mon, 1 Jun 2026 17:44:15 +0200
Subject: [PATCH] when tiling pane gains focus hide floating panes

---
 src/main/java/com/gregor/jprototerm/Tab.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/main/java/com/gregor/jprototerm/Tab.java b/src/main/java/com/gregor/jprototerm/Tab.java
index adc15f5..793ff4b 100644
--- a/src/main/java/com/gregor/jprototerm/Tab.java
+++ b/src/main/java/com/gregor/jprototerm/Tab.java
@@ -286,6 +286,9 @@ final class Tab implements AutoCloseable {
             lastFocusedFloating = pane;
         } else if (tiled.contains(pane)) {
             lastFocusedTiled = pane;
+            // A tiled pane gaining focus hides the floating group: leaving it shown while a tiled
+            // pane is active strands focus behind the overlay and disables navigation.
+            floatingVisible = false;
         }
     }