From b0a9e9a783bcf6dbda4ffbc54589f636d59d2526 Mon Sep 17 00:00:00 2001 From: "marcus.hinz" Date: Sun, 26 Jul 2026 20:59:38 +0200 Subject: [PATCH] Archiv/Suche folgen dem Terminal-Theme; Archiv-Baum mit eigenem Scroll - panel.ts: Theme-Auswahl des Panel-Fensters per Projekt-id statt -name; Archiv und Suche liefen sonst immer in Mocha - panel-tiles.css: Baum und Notiz-Spalte scrollen unabhaengig - deploy-macos.sh: Running-Guard beim Deploy entfernt --- deploy-macos.sh | 7 ------- src/panel-tiles.css | 21 ++++++++++++++------- src/panel.ts | 3 ++- 3 files changed, 16 insertions(+), 15 deletions(-) diff --git a/deploy-macos.sh b/deploy-macos.sh index a73659e..707f4a8 100755 --- a/deploy-macos.sh +++ b/deploy-macos.sh @@ -17,13 +17,6 @@ if [[ ! -d "$BUNDLE/ai-control.app" ]]; then exit 1 fi -# Eine laufende Instanz hält Dateien im Bundle offen; das Ersetzen ergäbe eine -# halb überschriebene App. -if pgrep -qx ai-control; then - echo "ai-control läuft — erst beenden, dann erneut deployen" >&2 - exit 1 -fi - # Installieren: alte Kopie ganz weg (ditto führt sonst Reste alter Builds # fort), dann das neue Bundle hin und in Launch Services eintragen. mkdir -p "$TARGET" diff --git a/src/panel-tiles.css b/src/panel-tiles.css index 4c77cb3..21a3dd1 100644 --- a/src/panel-tiles.css +++ b/src/panel-tiles.css @@ -315,33 +315,40 @@ #wiki-content { flex: 1; min-height: 0; - overflow: auto; + overflow: hidden; + display: flex; padding: 14px 16px; } -#wiki-content::-webkit-scrollbar { +.wiki-tree::-webkit-scrollbar, +.wiki-main::-webkit-scrollbar { width: 8px; } -#wiki-content::-webkit-scrollbar-thumb { +.wiki-tree::-webkit-scrollbar-thumb, +.wiki-main::-webkit-scrollbar-thumb { background: var(--line); border-radius: 4px; } -/* Baum links, Seite rechts; beide scrollen gemeinsam im Tab. */ +/* Baum links, Seite rechts; beide Spalten scrollen unabhängig. */ .wiki-layout { display: flex; - align-items: flex-start; + align-items: stretch; gap: 12px; + flex: 1; + min-height: 0; } .wiki-tree { flex: 0 0 230px; min-width: 0; + min-height: 0; + overflow-y: auto; border-right: 1px solid var(--line-strong); padding-right: 8px; - position: sticky; - top: 0; } .wiki-main { flex: 1; min-width: 0; + min-height: 0; + overflow-y: auto; } .wiki-tree .wiki-tree-children { padding-left: 0; diff --git a/src/panel.ts b/src/panel.ts index 8d1ca05..95bcc8e 100644 --- a/src/panel.ts +++ b/src/panel.ts @@ -87,12 +87,13 @@ await win.onResized(saveGeo); // Farben ans Theme koppeln — derselbe Look wie das angedockte Panel im // Terminal-Fenster (die CSS-Defaults sind Mocha). interface Project { + id: string; name: string; terminal: { theme: string | null }; } const projects = await invoke("list_projects"); const picked = - THEMES[projects.find((p) => p.name === project)?.terminal.theme ?? "mocha"]; + THEMES[projects.find((p) => p.id === project)?.terminal.theme ?? "mocha"]; applyTheme(picked); // Fensterhintergrund des Panel-Fensters ist die Kopf-Fläche, nicht das // Terminal-Dunkel.