umputun / agterm / 30973263716

98%

push

github

feat(settings): add a palette and switcher font size, and center them over the terminal (#367)

* feat(settings): add a palette and switcher font size, and center them over the terminal

the command palette, the control-API picker and the Ctrl-Tab switcher rendered at
a hardcoded 13pt with no way to change them. New `interfaceFontSize` (9...20,
default 13) drives all three plus the title-bar popover rows that share
`SessionSwitcherRow`. `sidebarFontSize` keeps its own stepper and its own
meaning: neither setting falls back to the other, since the sidebar is a density
knob and the palette a readability one.

`InterfaceMetrics` derives subtitle/badge and shortcut sizes plus the panel scale,
anchored so the default 13 reproduces the previously hardcoded `.caption`/`.callout`
and the 520x320 palette. Derived text floors at 8pt because a strict proportion puts
a subtitle at 7pt on a 9pt base.

the wider panel made the old centering obvious, so the palette, picker and switcher
now center over the terminal area instead of the whole window: the panel offsets by
half of `terminalAreaInset` (sidebar plus its 1pt divider). Scrims stay full width,
so a click on the sidebar still dismisses.

the Settings window grows 540x590 to 540x640: the second stepper is a seventh row in
Appearance > Window, which overflowed the fixed frame and made the tab scroll.

* fix(settings): fit the palette and switcher panels to the window

the scaled panel width and the centering offset each grew unbounded and compounded:
the panel is centered in the full window and then shifted right by half the sidebar,
so its right edge sat at `W/2 + width/2 + inset/2`. At the 13pt default with the
default 220pt sidebar that clips in any window under 741pt, and the window minimum
is 640x400 — only the 900pt default size kept the gates green.

`InterfaceMetrics` gains the fitting: `fittedPanelWidth` shrinks the scaled ideal to
what the terminal area leaves, `panelOffset` caps the shift at `(W - wid... (continued)

34 of 34 new or added lines in 2 files covered. (100.0%)

7301 of 7464 relevant lines covered (97.82%)

4028206.67 hits per line