Trigger event on scroll wheel (#1182)

fleaflet · Mar 20, 2022 · 17c1298 · 17c1298
1 parent fb5a3e0
commit 17c1298
Show file tree

Hide file tree

Showing 3 changed files with 31 additions and 2 deletions.
diff --git a/lib/src/gestures/gestures.dart b/lib/src/gestures/gestures.dart
@@ -37,7 +37,8 @@ abstract class MapGestureMixin extends State<FlutterMap>
             : max(mapState.options.minZoom ?? 0, mapState.zoom + delta);
         final newZoom = mapState.fitZoomToBounds(zoom);
         // Move the map to the new zoom level
-        mapState.move(mapState.center, newZoom, source: MapEventSource.custom);
+        mapState.move(mapState.center, newZoom,
+            source: MapEventSource.scrollWheel);
       }
     }
   }

diff --git a/lib/src/gestures/map_events.dart b/lib/src/gestures/map_events.dart
@@ -19,7 +19,8 @@ enum MapEventSource {
   interactiveFlagsChanged,
   fitBounds,
   initialization,
-  custom
+  custom,
+  scrollWheel,
 }
 
 /// Base event class which is emitted by MapController instance, the event
@@ -183,6 +184,23 @@ class MapEventDoubleTapZoom extends MapEventWithMove {
         );
 }
 
+/// Event which is fired when scroll wheel is used to zoom
+class MapEventScrollWheelZoom extends MapEventWithMove {
+  MapEventScrollWheelZoom({
+    required LatLng targetCenter,
+    required double targetZoom,
+    required MapEventSource source,
+    required LatLng center,
+    required double zoom,
+  }) : super(
+          targetCenter: targetCenter,
+          targetZoom: targetZoom,
+          source: source,
+          center: center,
+          zoom: zoom,
+        );
+}
+
 /// Event which is fired when animation for double tap gesture is started
 class MapEventDoubleTapZoomStart extends MapEvent {
   MapEventDoubleTapZoomStart(

diff --git a/lib/src/map/map.dart b/lib/src/map/map.dart
@@ -200,6 +200,16 @@ class MapState {
           source: source,
         ),
       );
+    } else if (source == MapEventSource.scrollWheel) {
+      emitMapEvent(
+        MapEventScrollWheelZoom(
+          center: _lastCenter!,
+          zoom: _zoom,
+          targetCenter: targetCenter,
+          targetZoom: targetZoom,
+          source: source,
+        ),
+      );
     } else if (source == MapEventSource.onDrag ||
         source == MapEventSource.onMultiFinger) {
       emitMapEvent(