anchor.diff:      theme = THEMES[0];
     }
   
  -  html.Element get _editorElement =>
  -      parentElement.parent;
  +  html.Element get _editorElement => parentElement.parent;
   
     html.Element get _minimapElement {
       List<html.Node> minimapElements =
  
positive.code:     } else {
        _editorElement.append(miniMap);
      }
  
    }
  
    void clearMarkers() => currentSession.clearAnnotations();
  
negative.code:           type: annotationType);
        annotations.add(annotation);
  
        double markerHeightPercentage =
            marker.lineNum / numberLines * 100;
  
  