anchor.diff:      stdin.add([10]);
     }
   
  -  List<int> _calculateSize() {
  +  List<int> calculateSize() {
       int rows = (div.contentEdge.height) ~/ _theme.charHeight;
       int cols = (div.contentEdge.width) ~/ _theme.charWidth + 1;
   
  
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);
  
  
negative.code: 
    void resize(int newRows, int newCols) {
      _model = new Model.fromOldModel(newRows, newCols, _model);
      _controller.cancelBlink();
      _controller = new Controller(div, _model, _theme);
  
      // User expects the prompt to appear after a resize.
      // Sending a \n results in a blank line above the first
  