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
This commit is contained in:
marcus.hinz
2026-07-26 20:59:38 +02:00
parent 24e6203698
commit b0a9e9a783
3 changed files with 16 additions and 15 deletions
-7
View File
@@ -17,13 +17,6 @@ if [[ ! -d "$BUNDLE/ai-control.app" ]]; then
exit 1 exit 1
fi 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 # Installieren: alte Kopie ganz weg (ditto führt sonst Reste alter Builds
# fort), dann das neue Bundle hin und in Launch Services eintragen. # fort), dann das neue Bundle hin und in Launch Services eintragen.
mkdir -p "$TARGET" mkdir -p "$TARGET"
+14 -7
View File
@@ -315,33 +315,40 @@
#wiki-content { #wiki-content {
flex: 1; flex: 1;
min-height: 0; min-height: 0;
overflow: auto; overflow: hidden;
display: flex;
padding: 14px 16px; padding: 14px 16px;
} }
#wiki-content::-webkit-scrollbar { .wiki-tree::-webkit-scrollbar,
.wiki-main::-webkit-scrollbar {
width: 8px; width: 8px;
} }
#wiki-content::-webkit-scrollbar-thumb { .wiki-tree::-webkit-scrollbar-thumb,
.wiki-main::-webkit-scrollbar-thumb {
background: var(--line); background: var(--line);
border-radius: 4px; border-radius: 4px;
} }
/* Baum links, Seite rechts; beide scrollen gemeinsam im Tab. */ /* Baum links, Seite rechts; beide Spalten scrollen unabhängig. */
.wiki-layout { .wiki-layout {
display: flex; display: flex;
align-items: flex-start; align-items: stretch;
gap: 12px; gap: 12px;
flex: 1;
min-height: 0;
} }
.wiki-tree { .wiki-tree {
flex: 0 0 230px; flex: 0 0 230px;
min-width: 0; min-width: 0;
min-height: 0;
overflow-y: auto;
border-right: 1px solid var(--line-strong); border-right: 1px solid var(--line-strong);
padding-right: 8px; padding-right: 8px;
position: sticky;
top: 0;
} }
.wiki-main { .wiki-main {
flex: 1; flex: 1;
min-width: 0; min-width: 0;
min-height: 0;
overflow-y: auto;
} }
.wiki-tree .wiki-tree-children { .wiki-tree .wiki-tree-children {
padding-left: 0; padding-left: 0;
+2 -1
View File
@@ -87,12 +87,13 @@ await win.onResized(saveGeo);
// Farben ans Theme koppeln — derselbe Look wie das angedockte Panel im // Farben ans Theme koppeln — derselbe Look wie das angedockte Panel im
// Terminal-Fenster (die CSS-Defaults sind Mocha). // Terminal-Fenster (die CSS-Defaults sind Mocha).
interface Project { interface Project {
id: string;
name: string; name: string;
terminal: { theme: string | null }; terminal: { theme: string | null };
} }
const projects = await invoke<Project[]>("list_projects"); const projects = await invoke<Project[]>("list_projects");
const picked = const picked =
THEMES[projects.find((p) => p.name === project)?.terminal.theme ?? "mocha"]; THEMES[projects.find((p) => p.id === project)?.terminal.theme ?? "mocha"];
applyTheme(picked); applyTheme(picked);
// Fensterhintergrund des Panel-Fensters ist die Kopf-Fläche, nicht das // Fensterhintergrund des Panel-Fensters ist die Kopf-Fläche, nicht das
// Terminal-Dunkel. // Terminal-Dunkel.