Dockbare Panel-Tabs nur als Symbol

Die Tab-Leiste zeigt je Panel nur noch ein Inline-SVG-Icon; der Titel
wandert in Tooltip (title) und aria-label. PanelDef bekommt ein optionales
icon-Feld, die sieben eingebauten Panels je ein schlichtes stroke-Icon
(currentColor, erbt die Tab-Farbe). Fehlt ein Icon (Plugin), fällt der Tab
auf den Titeltext zurück. Tabs sind jetzt kompakt und quadratisch; Klick-,
Drag- und Dock-Logik unverändert.

src/styles.css

@@ -2402,23 +2402,24 @@ body {
 
 .tab {
   flex: 0 0 auto;
-  max-width: 160px;
+  width: 34px;
+  height: 30px;
+  display: flex;
+  align-items: center;
+  justify-content: center;
   border: 1px solid transparent;
   border-bottom: none;
   background: transparent;
   color: var(--muted);
   font-family: inherit;
-  font-size: 12px;
-  font-weight: 600;
-  letter-spacing: 0.03em;
-  padding: 8px 14px;
+  padding: 0;
   border-radius: 8px 8px 0 0;
   cursor: pointer;
-  white-space: nowrap;
-  overflow: hidden;
-  text-overflow: ellipsis;
   transition: background 0.14s, color 0.14s, border-color 0.14s;
 }
+.tab svg {
+  flex: 0 0 auto;
+}
 .tab:hover {
   background: var(--accent-dim);
   color: var(--ink);