terminal property

set terminal (TerminalLibraryFlutter terminal)

Implementation

set terminal(TerminalLibraryFlutter terminal) {
  if (_terminal == terminal) return;
  if (attached) _terminal.removeListener(_onTerminalLibraryFlutterChange);
  _terminal = terminal;
  if (attached) _terminal.addListener(_onTerminalLibraryFlutterChange);
  _resizeTerminalLibraryFlutterIfNeeded();
  markNeedsLayout();
}