onPolygonEdited method
A Polygon path has been edited by the user.
Polygon editing is currently only supported on web; platforms that do not support it return an empty stream by default rather than throwing, so the app-facing package can subscribe unconditionally on every platform.
Implementation
@override
Stream<PolygonEditEvent> onPolygonEdited({required int mapId}) {
return _events(mapId).whereType<PolygonEditEvent>();
}