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