From f756043853ca93407e2da5d07cfe520c84f90963 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E9=9B=B7=E7=94=B5=E8=8A=BD=E8=A1=A3?=
 <zhangyanghaha0407@outlook.com>
Date: Wed, 7 Oct 2026 20:26:07 -0400
Subject: [PATCH] =?UTF-8?q?EditorTabs=20=C2=B7=20the=20close=20button=20ov?=
 =?UTF-8?q?er=20a=20dirty=20or=20inactive=20tab=20stays=20pressable:=20cle?=
 =?UTF-8?q?ar,=20not=20hidden?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 src/navigation/editor_tabs.rs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/navigation/editor_tabs.rs b/src/navigation/editor_tabs.rs
index 6b4d155..b064c67 100644
--- a/src/navigation/editor_tabs.rs
+++ b/src/navigation/editor_tabs.rs
@@ -234,10 +234,11 @@ impl RenderOnce for EditorTabs {
                             div()
                                 .absolute()
                                 .size_full()
+                                // Clear, not hidden: it still takes a press.
                                 .when(hidden, |cover| {
                                     cover
-                                        .invisible()
-                                        .group_hover(group.clone(), |style| style.visible())
+                                        .opacity(0.)
+                                        .group_hover(group.clone(), |style| style.opacity(1.))
                                 })
                                 .child(close_button),
                         )