Merge branch 'dev' into 'main'

Dev

See merge request !48

index.html

@@ -39,7 +39,7 @@
                 <div id="buttons2" class="box2" style="display: none;">
                     <p style="width: 32vw;"></p>
                     <button class="button">TIN</button>
-                    <button class="button">Voronoi</button>
+                    <button class="button" onclick="voronoi()">Voronoi</button>
                 </div>
             </div>
             
@@ -276,6 +276,7 @@
         <script src="javascript/union.js"></script>
         <script src="javascript/extract.js"></script>
         <script src="javascript/mapChange.js"></script>
+        <script src="javascript/voronoi.js"></script>
 
         <!-- Imported js -->
         <!-- <script src="https://unpkg.com/shpjs@latest/dist/shp.js"></script> -->

javascript/mapChange.js

@@ -34,7 +34,7 @@ var points = {
             }
         }
     ]
-}
+};
 
 var m = "m1"; // Hvilket kart en bruker
 var layersOnMap = []; // Hvilke kartlag som var på før en byttet til "m2"
@@ -85,10 +85,13 @@ function changeMap() {
         document.getElementById("sidebarOpener").style.display = "block";
         document.getElementById("mapChanger").style.marginLeft = "8vh";
 
-        // Fjerner punkt-markørene fra kartet:
+        // Fjerner punkt-markørene og eventuelle voronoi- og TIN-diagram fra kartet:
         if (map.hasLayer(NTNU_points)) {
             map.removeLayer(NTNU_points);
         }
+        if (isVoronoi) {
+            voronoi();
+        }
 
         // Legger til kartlagene som lå i kartet før en byttet kartmodus:
         while (layersOnMap.length > 0) {

javascript/voronoi.js

+// Variabler:
+
+var isVoronoi = false; // Vises voronoi-diagrammet i kartet?
+// Avgrensning for voronoi-diagrammet
+var options = {
+    bbox: [10.3175248, 63.3911153, 10.5242766, 63.4570029]
+};
+// Selve voronoi-diagrammet:
+var voronoiPolygons = turf.voronoi(NTNU_points.toGeoJSON(), options);
+var voronoiGeoJSON = L.geoJSON(voronoiPolygons, {style: {"color": "orange"}});
+
+function voronoi() {
+    if (isVoronoi) {
+        map.removeLayer(voronoiGeoJSON)
+        isVoronoi = false;
+    } else {
+        voronoiGeoJSON.addTo(map);
+        isVoronoi = true;
+    }
+}