Give up on configurable tap+drag zoom. Breaks double tap zoom.

lib/widgets/map_view.dart

@@ -284,7 +284,6 @@ class MapViewState extends State<MapView> {
   }
 
 
-
   void _refreshNodesFromProvider() {
     final appState = context.read<AppState>();
     _cameraController.refreshCamerasFromProvider(
@@ -296,9 +295,6 @@ class MapViewState extends State<MapView> {
   }
 
 
-
-
-
   @override
   void didUpdateWidget(covariant MapView oldWidget) {
     super.didUpdateWidget(oldWidget);
@@ -316,13 +312,6 @@ class MapViewState extends State<MapView> {
   }
 
 
-
-
-
-
-
-
-
   @override
   Widget build(BuildContext context) {
     final appState = context.watch<AppState>();
@@ -554,10 +543,7 @@ class MapViewState extends State<MapView> {
               initialCenter: _gpsController.currentLocation ?? _positionManager.initialLocation ?? LatLng(37.7749, -122.4194),
             initialZoom: _positionManager.initialZoom ?? 15,
             maxZoom: (appState.selectedTileType?.maxZoom ?? 18).toDouble(),
-            interactionOptions: InteractionOptions(
-              doubleTapDragZoomChangeCalculator: (verticalOffset, camera) {
-                return verticalOffset * kDoubleTapDragZoomSensitivity;
-              },
+            interactionOptions: const InteractionOptions(
               scrollWheelVelocity: kScrollWheelVelocity,
               pinchZoomThreshold: kPinchZoomThreshold,
               pinchMoveThreshold: kPinchMoveThreshold,
@@ -566,8 +552,6 @@ class MapViewState extends State<MapView> {
               setState(() {}); // Instant UI update for zoom, etc.
               if (gesture) {
                 widget.onUserGesture();
-                
-
               }
               
               if (session != null) {