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