From c27417444f62abfa1c7cb4137254f199ba6f230f Mon Sep 17 00:00:00 2001 From: zjp Date: Wed, 28 Jan 2026 02:03:03 +0000 Subject: [PATCH 1/4] ui: fix doc line-height --- ui/app/assets/css/main.css | 6 +++--- ui/app/lib/panel.ts | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/ui/app/assets/css/main.css b/ui/app/assets/css/main.css index 82efc6b..28925b4 100644 --- a/ui/app/assets/css/main.css +++ b/ui/app/assets/css/main.css @@ -208,8 +208,8 @@ html, body { @layer components { .prose-tight-list li { - line-height: 0.5 !important; - margin-top: 0.25rem !important; - margin-bottom: 0.25rem !important; + line-height: 1.5 !important; + margin-top: 0.1rem !important; + margin-bottom: 0.1rem !important; } } diff --git a/ui/app/lib/panel.ts b/ui/app/lib/panel.ts index 95f04a8..ad17db2 100644 --- a/ui/app/lib/panel.ts +++ b/ui/app/lib/panel.ts @@ -8,7 +8,7 @@ export const enum Panel { Adt = "Adt Exogenous Fn", } -export const PANELS: Panel[] = [Panel.Tag, Panel.Adt, Panel.Doc, Panel.Src, Panel.Mir]; +export const PANELS: Panel[] = [Panel.Adt, Panel.Tag, Panel.Doc, Panel.Src, Panel.Mir]; export type PanelContent = { nodeItem: string From 6fc7a77d93ae3c08b32074c7a5884586539f8919 Mon Sep 17 00:00:00 2001 From: zjp Date: Wed, 28 Jan 2026 02:18:53 +0000 Subject: [PATCH 2/4] fix(ui): watch flowOpts reactive --- ui/app/components/Flow.vue | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) diff --git a/ui/app/components/Flow.vue b/ui/app/components/Flow.vue index 1d5bf58..72716b5 100644 --- a/ui/app/components/Flow.vue +++ b/ui/app/components/Flow.vue @@ -78,21 +78,21 @@ onNodeClick(event => { adtOpts.value = {} }) -watch( - () => ({ caller: item.value, opts: flowOpts.value, tags: props.tags, ch: chPx.value }), - async ({ caller, opts, tags, ch }) => { - // This should be a caller or adt, but currently only caller is supported. - if (!caller.name) return; +// () => ({ caller: item.value, opts: flowOpts.value, tags: props.tags, ch: chPx.value }), +watchEffect(async () => { + const caller = item.value + // This should be a caller or adt, but currently only caller is supported. + if (!caller.name) return; - const px = Math.ceil(ch); - const plotConfig = new PlotConfig(tags, px, opts); + const px = Math.ceil(chPx.value); + const plotConfig = new PlotConfig(props.tags, px, flowOpts.value); - const plot = new Plot(plotConfig, elk); - await plot.plot(caller); + const plot = new Plot(plotConfig, elk); + await plot.plot(caller); - const { nodes, edges, config } = plot; - data.value = { nodes, edges, id_to_item: config.id_to_item }; - }) + const { nodes, edges, config } = plot; + data.value = { nodes, edges, id_to_item: config.id_to_item }; +}) watch(() => flowOpts.value.fit, val => { if (val) { fitView(); flowOpts.value.fit = false; } From 1b26a1e03589da682d0e0175d76ac9f3ab1af9d0 Mon Sep 17 00:00:00 2001 From: zjp Date: Wed, 28 Jan 2026 02:20:29 +0000 Subject: [PATCH 3/4] ui(topbar): hide edge type selection --- ui/app/components/code/Adt.vue | 2 +- ui/app/components/widget/TopBar.vue | 18 +++++++++--------- 2 files changed, 10 insertions(+), 10 deletions(-) diff --git a/ui/app/components/code/Adt.vue b/ui/app/components/code/Adt.vue index d7d0fd6..1f0416f 100644 --- a/ui/app/components/code/Adt.vue +++ b/ui/app/components/code/Adt.vue @@ -68,7 +68,7 @@ const groupedFieldAccess = computed<{ [key: string]: AdtPanelItem[] }>(() => { // Constructors const constructors = computed(() => - gen(props.adt?.constructors, "Constructors", `All Constructors of ${props.adt?.name ?? ''}`) + gen(props.adt?.constructors, "Constructors", `All Constructors of \`${props.adt?.name ?? ''}\``) ) // As arguments diff --git a/ui/app/components/widget/TopBar.vue b/ui/app/components/widget/TopBar.vue index 3dbbe91..5b7cc95 100644 --- a/ui/app/components/widget/TopBar.vue +++ b/ui/app/components/widget/TopBar.vue @@ -41,14 +41,14 @@ - - - - - - - + + + + + + + + @@ -67,7 +67,7 @@