From d90b1caa231d40aeccaed43851f7fdaee2595c6d Mon Sep 17 00:00:00 2001 From: amosblomqvist Date: Sat, 19 Sep 2026 22:14:11 +0300 Subject: [PATCH] Settings dropdown: widen for a clean scrollbar gutter MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Owner report: the scrollbar pressed against the slider content. Panel w-64 -> w-72 and the inner scroll column gains pr-2.5, so the spacing is concentric: content -> 10px -> scrollbar -> 10px -> panel edge. The scrollbar itself is NOT moved — it keeps its distance from the panel's right border; the panel simply widens to give it air. --- components/graph-view.tsx | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/components/graph-view.tsx b/components/graph-view.tsx index 905e6c9..ccf18e2 100644 --- a/components/graph-view.tsx +++ b/components/graph-view.tsx @@ -373,8 +373,14 @@ function GraphSettingsControl({ // floor of free space above the window bottom at any height, // and the overflow-y-auto column (which also zeroes the flex // item's min-height) scrolls instead of stretching the page. -
-
+ // w-72 + inner pr (owner, 2026-09-20): the scrollbar used to + // press against the content — the panel widens so the scroll + // gutter gets real air. Spacing concentric: content -> 10px + // (pr-2.5) -> scrollbar -> 10px (p-2.5) -> panel edge. The + // scrollbar itself does NOT move: it stays pinned at the same + // distance from the panel's right border. +
+
{/* Size/zoom/region sliders: LADDER-mapped 0-100, step 10 (11 stops, every DEFAULT dead-center at 50, every value a nice number — src/core/render-settings.ts). Physics keeps the