setTerminal method

void setTerminal(
  1. RenderableTerminal terminal
)

Implementation

void setTerminal(RenderableTerminal terminal) {
  var resized = _terminal == null ||
      _terminal!.width != terminal.width ||
      _terminal!.height != terminal.height;

  _terminal = terminal;
  dirty();

  // If the terminal size changed, let the screens known.
  if (resized) {
    for (var screen in _screens) {
      screen.resize(terminal.size);
    }
  }
}