ui/settings_panel library

Functions

deviceMetrics() → DeviceMetrics

Reads this device's screen boxes in both orientations from the browser.

showSettingsPanel(AppContext ctx) → void

Opens the global settings panel — a modal where the user picks the terminal dimensions for new sessions and the terminal text size. Both choices persist immediately (via TerminalDisplayController); dimension changes take effect the next time a session is opened, while text size applies live.