From 387d2ea5d33bacf2fbf22f17633baf713c124d5b Mon Sep 17 00:00:00 2001
From: johnd0e <johnd0e@mail.ua>
Date: Tue, 4 Dec 2018 09:24:59 +0200
Subject: [PATCH] portal-names: fix to comply with updated leaflet

fixes #7
---
 plugins/portal-names.user.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/plugins/portal-names.user.js b/plugins/portal-names.user.js
index cf0bce122..9bf13b6f7 100644
--- 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);