Leaflet update (#1164)

* Update Leaflet to 1.9.4

* Update leaflet-defaulticon-compatibility

ipyleaflet/leaflet.py

@@ -2576,7 +2576,7 @@ class Map(DOMWidget, InteractMixin):
         Whether the map can be zoomed in by double clicking on it and zoomed out by double clicking while holding shift.
     box_zoom: boolean, default True
         Whether the map can be zoomed to a rectangular area specified by dragging the mouse while pressing the shift key
-    tap: boolean, default True
+    tap_hold: boolean, default True
         Enables mobile hacks for supporting instant taps.
     tap_tolerance: int, default	15
         The max number of pixels a user can shift his finger during touch for it to be considered a valid tap.
@@ -2637,7 +2637,7 @@ class Map(DOMWidget, InteractMixin):
     scroll_wheel_zoom = Bool(False).tag(sync=True, o=True)
     double_click_zoom = Bool(True).tag(sync=True, o=True)
     box_zoom = Bool(True).tag(sync=True, o=True)
-    tap = Bool(True).tag(sync=True, o=True)
+    tap_hold = Bool(True).tag(sync=True, o=True)
     tap_tolerance = Int(15).tag(sync=True, o=True)
     world_copy_jump = Bool(False).tag(sync=True, o=True)
     close_popup_on_click = Bool(True).tag(sync=True, o=True)

js/package.json

@@ -42,9 +42,9 @@
     "@jupyter-widgets/base": "^2 || ^3 || ^4 || ^5 || ^6",
     "buffer": "^6.0.3",
     "crypto-browserify": "^3.12.0",
-    "leaflet": "^1.7.1",
+    "leaflet": "^1.9.4",
     "leaflet-ant-path": "^1.3.0",
-    "leaflet-defaulticon-compatibility": "^0.1.1",
+    "leaflet-defaulticon-compatibility": "^0.1.2",
     "leaflet-draw": "^1.0.4",
     "leaflet-fullscreen": "^1.0.2",
     "leaflet-measure": "^3.1.0",

js/src/Map.ts

@@ -67,7 +67,7 @@ export class LeafletMapModel extends DOMWidgetModel {
       scroll_wheel_zoom: false,
       double_click_zoom: true,
       box_zoom: true,
-      tap: true,
+      tap_hold: true,
       tap_tolerance: 15,
       world_copy_jump: false,
       close_popup_on_click: true,