From 24e6203698d7f4206cfe37a709385b6c57f4f848 Mon Sep 17 00:00:00 2001 From: marcus hinz Date: Sun, 26 Jul 2026 18:39:23 +0200 Subject: [PATCH] Pool-Badge links neben den Projektnamen MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Das Badge stand rechts vor den Fensterknöpfen. Jetzt folgt es direkt auf den Titel, abgesetzt durch denselben Akzent-Trenner wie die Tab-Leiste; ohne zugeordneten Pool verschwinden Badge und Trenner zusammen. Die Tabs bleiben rechtsbündig. --- src/terminal-window.css | 15 ++++++--------- terminal.html | 3 ++- 2 files changed, 8 insertions(+), 10 deletions(-) diff --git a/src/terminal-window.css b/src/terminal-window.css index ddef632..c5351bc 100644 --- a/src/terminal-window.css +++ b/src/terminal-window.css @@ -71,9 +71,11 @@ header .panel-tabs { header .panel-tabs[hidden] { display: none; } -/* Ohne Tabs (Panel abgelöst) rückt das Pool-Badge selbst nach rechts. */ -header .panel-tabs[hidden] + #pool { - margin-left: auto; +/* Pool-Badge steht links beim Titel, durch die Pipe abgesetzt; ohne Pool + verschwindet auch der Trenner. */ +#pool:empty, +#pool-sep:has(+ #pool:empty) { + display: none; } .tab-sep { width: 2px; @@ -91,18 +93,13 @@ header .panel-tabs[hidden] + #pool { padding: 4px 12px; font-size: 11px; } -#pool:empty { - display: none; -} /* Eigene Fensterknöpfe (Linux): rechtsbündig, volle Header-Höhe. */ #winbtns { margin-left: 8px; display: flex; align-self: stretch; } -#pool:empty + #winbtns { - margin-left: auto; -} + .winbtn { width: 44px; height: 100%; diff --git a/terminal.html b/terminal.html index 42b1d0c..bff2554 100644 --- a/terminal.html +++ b/terminal.html @@ -8,9 +8,10 @@
+ +
-