anchor.diff:      stdin.add([10]);
     }
   
  -  List<int> calculateSize() {
  +  List<int> _calculateSize() {
       int rows = (div.borderEdge.height - 10) ~/ charHeight;
       int cols = (div.borderEdge.width - 10) ~/ charWidth;
   
  
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:     }
  
      return [rows, cols];
    }
  
    void _setTheme(Theme thm) {
  