setSize method

void setSize(
  1. int width,
  2. int height
)

Updates the viewport size.

Implementation

void setSize(int width, int height) {
  if (_model.width == width && _model.height == height) return;
  _model = _model.copyWith(
    width: width,
    height: height,
    viewport: _model.viewport.copyWith(width: width, height: height),
  );
  // Re-render lines for the new dimensions (e.g. side-by-side panel widths).
  _model = _model.rerender();
  _notifyListeners();
}