setTerminal method

void setTerminal(
  1. RenderableTerminal terminal
)

Implementation

void setTerminal(RenderableTerminal terminal) {
  var resized = terminal != null &&
      (_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);
  }
}