anchor.diff:     * Fired when a mouse is clicked. You can preventDefault the event to signal
      * that CodeMirror should do no further handling.
      */
  -  Stream<MouseEvent> get onMouseDown => onEvent('mousedown', true);
  +  Stream<MouseEvent> get onMouseDown => onEvent('mousedown', true) as Stream<MouseEvent>;
   
     /**
      * Fired when a mouse is double-clicked. You can preventDefault the event to
      * signal that CodeMirror should do no further handling.
      */
  -  Stream<MouseEvent> get onDoubleClick => onEvent('dblclick', true);
  +  Stream<MouseEvent> get onDoubleClick => onEvent('dblclick', true) as Stream<MouseEvent>;
   
     //Stream<MouseEvent> get onContextMenu => onEvent('contextmenu', true);
   
  
positive.code:   List<TextMarker> findMarksAt(Position pos) {
      var result = callArg('findMarksAt', pos.toProxy());
      if (result is! List) return [];
      return result.map((mark) => new TextMarker(mark)).toList();
    }
  
    /**
  
negative.code:    * returned.
     */
    List<JsObject> getHelpers(Position pos, String type) {
      return callArgs('getHelpers', [pos.toProxy(), type]) as List<JsObject>;
    }
  
    /**
  