terminal property

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