anchor.diff:  class AceEditor extends Editor {
     final AceContainer aceContainer;
   
  -  workspace.File _file;
  -
  -  workspace.File get file => _file;
  -
  -  set file (workspace.File file) {
  -    this._file = file;
  -//    aceContainer.setMarkers(file.getMarkers());
  -  }
  +  workspace.File file;
   
     html.Element get element => aceContainer.parentElement;
   
  -  AceEditor(this.aceContainer) {
  -  }
  +  AceEditor(this.aceContainer);
   
     void resize() => aceContainer.resize();
   
  
positive.code:           type: annotationType);
        annotations.add(annotation);
  
        // TODO(ericarnold): This won't update on code folds.  Fix
        // TODO(ericarnold): This should also be based upon annotations so ace's
        //     immediate handling of deleting / adding lines gets used.
        double markerHeightPercentage =
            currentSession.documentToScreenRow(marker.lineNum, 0)
            / numberLines * 100.0;
  
        html.Element minimapMarker = new html.Element.div();
        minimapMarker.classes.add("minimap-marker error");
  
negative.code:       if (_markerSubscription == null) {
          _markerSubscription = file.workspace.onMarkerChange.listen(
              _handleMarkerChange);
        }
      }
    }
  