terminal-font-size¶

Provenance¶

Source: .spec/spexcode/spec-dashboard/dashboard-ui/settings/terminal-font-size/spec.md
Source SHA-256: 59b95224e606b8fedac23ac575ba10705c64ad447522b49ded4c1fbd102c4875

terminal-font-size¶

The terminal's type size is a browser preference independent of dashboard UI typography. One small store reads the shared terminal-size token as its default, validates a saved numeric override, persists explicit changes, and notifies every mounted terminal in the page. Settings presents that one value as a numeric range with its current pixel size visible.

Changing the value updates xterm's public font-size option and re-runs its ordinary fit. Because Settings is a routed page, mounted terminals are hidden at that moment and adopt the typography locally without claiming tmux geometry. The next visible claim carries the measured rows and columns through [[live-view]]'s ordinary geometry transaction, exactly as after a browser resize; the terminal socket, renderer identity, cached buffer, and tmux transport remain the same. Reload restores the saved choice before the terminal's first measurement.