anchor.diff:      _currAttributes = new DisplayAttributes();
       _theme = new Theme.SolarizedDark();
   
  -    List<int> size = calculateSize();
  +    List<int> size = _calculateSize();
       _model = new Model(size[0], size[1]);
       _controller = new Controller(div, _model, _theme);
  +
  +    _resizing = false;
  +
       _controller.refreshDisplay();
   
       _registerEventHandlers();
  +  }
  +
  +  List<int> currentSize() {
  +    return [_model.numRows, _model.numCols];
     }
   
     void resize(int newRows, int newCols) {
  
positive.code:     }
  
      return [rows, cols];
    }
  
    List<int> currentSize() {
      return [_model.numRows, _model.numCols];
    }
  
    void _setTheme(Theme thm) {
  
negative.code:     stdin.add([10]);
    }
  
    List<int> _calculateSize() {
      int rows = (div.borderEdge.height - 10) ~/ charHeight;
      int cols = (div.borderEdge.width - 10) ~/ charWidth;
  
  