fix: geojson layers pmIgnore

Author: lopezvoliver

python/jupyter_leaflet/src/layers/GeoJSON.ts

@@ -60,6 +60,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,