Update Mapbox GL

index.js

@@ -216,6 +216,24 @@ function updateId(id) {
     window.history.replaceState({}, '', `${path}?${params.toString()}${hash}`);
 }
 
+// Because features come from tiled vector data,
+// feature geometries may be split
+// or duplicated across tile boundaries.
+// As a result, features may appear
+// multiple times in query results.
+function getUniqueFeatures(features, comparatorProperty) {
+    const uniqueIds = new Set();
+    const uniqueFeatures = [];
+    for (const feature of features) {
+        const id = feature.properties[comparatorProperty];
+        if (!uniqueIds.has(id)) {
+            uniqueIds.add(id);
+            uniqueFeatures.push(feature);
+        }
+    }
+    return uniqueFeatures;
+}
+
 function makeActive(division) {
     const ed = divisions[0];
     const lea = divisions[1];

package.json

@@ -20,6 +20,6 @@
   "dependencies": {
     "@mapbox/mapbox-gl-geocoder": "^5.0.2",
     "bootstrap": "^5.3.2",
-    "mapbox-gl": "^3.1.2"
+    "mapbox-gl": "^3.3.0"
   }
 }