From b4245a209dd0d9a9bfadd8c86d5cc0af76720a6d Mon Sep 17 00:00:00 2001 From: amosblomqvist Date: Sun, 13 Sep 2026 03:42:15 +0300 Subject: [PATCH] Graph view settings: default label threshold 0.5x MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The most suitable default is the stricter end — labels only once zoomed in past 2x fit (user-decided 2026-09-13). The slider window extends below it (0.25x) so the default is no longer the floor. --- components/graph-view.tsx | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/components/graph-view.tsx b/components/graph-view.tsx index a584456..8bee7ed 100644 --- a/components/graph-view.tsx +++ b/components/graph-view.tsx @@ -99,7 +99,7 @@ interface RenderSettings { */ labelZoom: number; } -const DEFAULT_RENDER_SETTINGS: RenderSettings = { nodeSize: 6, edgeWidth: 1, arrowLength: 5, labelZoom: 1 }; +const DEFAULT_RENDER_SETTINGS: RenderSettings = { nodeSize: 6, edgeWidth: 1, arrowLength: 5, labelZoom: 0.5 }; const RENDER_SETTINGS_KEY = "graph-render-settings"; const clamp = (v: number, min: number, max: number) => Math.min(Math.max(v, min), max); /** Defensively merge stored settings (stale/partial/corrupt → defaults). */ @@ -109,7 +109,7 @@ function sanitizeRenderSettings(raw: unknown): RenderSettings { nodeSize: clamp(Number(r?.nodeSize ?? DEFAULT_RENDER_SETTINGS.nodeSize), 2, 14), edgeWidth: clamp(Number(r?.edgeWidth ?? DEFAULT_RENDER_SETTINGS.edgeWidth), 0.5, 4), arrowLength: clamp(Number(r?.arrowLength ?? DEFAULT_RENDER_SETTINGS.arrowLength), 2, 15), - labelZoom: clamp(Number(r?.labelZoom ?? DEFAULT_RENDER_SETTINGS.labelZoom), 0.5, 4), + labelZoom: clamp(Number(r?.labelZoom ?? DEFAULT_RENDER_SETTINGS.labelZoom), 0.25, 4), }; } @@ -847,7 +847,7 @@ export function GraphView() { />