Merge pull request #1001 from davidbrochart/dragging

Rerender map when changing Map.dragging

Author: davidbrochart

js/src/Map.js

@@ -343,6 +343,19 @@ export class LeafletMapView extends utils.LeafletDOMWidgetView {
       this.rerender,
       this
     );
+    this.listenTo(
+      this.model,
+      'change:dragging',
+      function () {
+        if (this.model.get('dragging')) {
+          this.obj.dragging.enable();
+        }
+        else {
+          this.obj.dragging.disable();
+        }
+      },
+      this
+    );
     this.listenTo(
       this.model,
       'change:layers',