portal-names: fix to comply with updated leaflet

fixes IITC-CE#7
johnd0e · Dec 4, 2018 · 387d2ea · 387d2ea
1 parent 256540f
commit 387d2ea
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/plugins/portal-names.user.js b/plugins/portal-names.user.js
@@ -59,6 +59,7 @@ window.plugin.portalNames.addLabel = function(guid, latLng) {
         html: portalName
       }),
       guid: guid,
+      interactive: false
     });
     window.plugin.portalNames.labelLayers[guid] = label;
     label.addTo(window.plugin.portalNames.labelLayerGroup);