endAnnotationDrag method

void endAnnotationDrag()

Ends an annotation drag operation.

Call this from AnnotationWidget's GestureDetector.onPanEnd. Pan is re-enabled by the editor's _updatePanState reaction when drag state clears.

Implementation

void endAnnotationDrag() {
  annotations.internalEndAnnotationDrag();
}