mirror of
https://github.com/l0ng-ai/tty7.git
synced 2026-09-22 08:02:24 +00:00
l0ng-ai
686bd0bcea
The detail panel carried a private run of pixel sizes — 12 for body, 11.5/11 under it — which put its primary text at the size the rest of the window uses for secondary text, so it read a step smaller than the sidebar beside it. Its mono values sat at the same px as their sans labels, where a larger x-height makes them look a size bigger, so a row read as two sizes instead of one line. `forwards.rs` and `sftp.rs`, both drawn inside that panel, had copied the same numbers. Put the panel back on the rem ladder the rest of the chrome already uses, with mono a notch under the sans it pairs with, and make the rem itself settable: `ui_font_size` defaults to gpui's own 16, so an existing config renders unchanged, and every window's root sets it, which reaches the whole interface at once. The terminal grid is absolute px from `font_size` and does not move — a display that is not Retina can now have bigger chrome without touching the text in the panes.