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