EditorTabs · the close button over a dirty or inactive tab stays pressable: clear, not hidden

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()
+                                        .opacity(0.)
-                                        .group_hover(group.clone(), |style| style.visible())
+                                        .group_hover(group.clone(), |style| style.opacity(1.))
                                 })
                                 .child(close_button),
                         )