Improve terminal dock handling

2026-09-26 02:15:47 +00:00 · 2025-04-27 00:55:11 +00:00
parent 55efea0561
commit c60894bf5d
2 changed files with 2 additions and 2 deletions
@@ -122,7 +122,7 @@ public class TerminalDockComp extends SimpleComp {
        var hide = new EventHandler<WindowEvent>() {
            @Override
            public void handle(WindowEvent event) {
-                update(stack);
+                model.onClose();
            }
        };

@@ -76,7 +76,7 @@
 }

 .browser .terminal-dock-comp {
-    -fx-padding: 7 0 7 0;
+    -fx-padding: 7 0 7 3;
 }

 .browser .terminal-dock-comp:empty {