fix: geojson layers pmIgnore (#1251)

* fix: geojson layers pmIgnore

* lint

Author: lopezvoliver

python/jupyter_leaflet/src/layers/GeoJSON.ts

@@ -63,6 +63,14 @@ export class LeafletGeoJSONView extends LeafletFeatureGroupView {
             coordinates: [e.latlng.lat, e.latlng.lng],
           });
         };
+        const pmIgnore = this.model.get('pm_ignore');
+        if (pmIgnore !== undefined) {
+          (layer as any).pmIgnore = pmIgnore;
+          if (pmIgnore && layer.pm) {
+            layer.pm.disable();
+            delete (layer as any).pm;
+          }
+        }
         layer.on({
           mouseover: mouseevent,
           click: mouseevent,