state/terminal_display_controller library

Classes

TerminalDisplayController
Owns the user's terminal display preferences — the dimension preset (and the custom column/row values it uses) and the text size — persisting each change and exposing them as observables the settings panel and session screen watch.