TerminalDisplayController class
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.
DOM-free so it stays unit-testable; the session screen supplies the live DeviceMetrics (read from the browser) when resolving dimensions.
Constructors
- TerminalDisplayController(SettingsStore _settings)
-
Creates a controller, restoring persisted preferences from
settings.
Properties
-
customCols
→ Observable<
int> -
Custom column count, used when preset is DimensionPreset.custom.
final
-
customRows
→ Observable<
int> -
Custom row count, used when preset is DimensionPreset.custom.
final
- hashCode → int
-
The hash code for this object.
no setterinherited
-
preset
→ Observable<
DimensionPreset> -
The chosen dimension preset (observable for the settings UI).
final
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
-
textSize
→ Observable<
TerminalTextSize> -
The chosen text size (observable; the session screen re-applies it live).
final
Methods
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
resolveDimensions(
DeviceMetrics device) → ({int cols, int rows})? -
The PTY dimensions to open a new session with, or
nullto let the fit addon size the terminal to its container (DimensionPreset.autoFit). -
setCustom(
int cols, int rows) → void -
Sets and persists the custom
cols×rows, clamped to the valid range. -
setPreset(
DimensionPreset next) → void -
Sets and persists the dimension
next. -
setTextSize(
TerminalTextSize next) → void -
Sets and persists the text size
next. -
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited