endAnnotationDrag method

void endAnnotationDrag()

Ends an annotation drag operation.

Call this from AnnotationWidget's GestureDetector.onPanEnd.

Implementation

void endAnnotationDrag() {
  annotations.internalEndAnnotationDrag();
  // Re-enable panning after annotation drag ends
  runInAction(() {
    interaction.panEnabled.value = true;
  });
}