terminal property
set
terminal
(RenderableTerminal<Renderer> terminal)
Assign a new RenderableTerminal to this UI.
Implementation
set terminal(RenderableTerminal terminal) {
var resized = _terminal == null || _terminal!.size != terminal.size;
_terminal = terminal;
if (resized) {
for (var layer in _layers) {
layer.onResize(terminal.size);
}
}
dirty();
}