Enable and disable other types of zoom (double click, touch, box)

python/jupyter_leaflet/src/Map.ts

@@ -431,6 +431,30 @@ export class LeafletMapView extends LeafletDOMWidgetView {
         this.obj.scrollWheelZoom.disable();
       }
     });
+    this.listenTo(this.model, 'change:double_click_zoom', () => {
+      const doubleClickZoom = this.model.get('double_click_zoom');
+      if (doubleClickZoom) {
+        this.obj.doubleClickZoom.enable();
+      } else {
+        this.obj.doubleClickZoom.disable();
+      }
+    });
+    this.listenTo(this.model, 'change:touch_zoom', () => {
+      const touchZoom = this.model.get('touch_zoom');
+      if (touchZoom) {
+        this.obj.touchZoom.enable();
+      } else {
+        this.obj.touchZoom.disable();
+      }
+    });
+    this.listenTo(this.model, 'change:box_zoom', () => {
+      const boxZoom = this.model.get('box_zoom');
+      if (boxZoom) {
+        this.obj.boxZoom.enable();
+      } else {
+        this.obj.boxZoom.disable();
+      }
+    });
   }
 
   processPhosphorMessage(msg: Message) {