terminal property
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();
}