()
| 339 | map.addSource("draw-points", { type: "geojson", data: pointData }); |
| 340 | map.addLayer({ id: "draw-points", type: "circle", source: "draw-points", paint: { "circle-radius": 5, "circle-color": "#56B6C2", "circle-stroke-width": 2, "circle-stroke-color": "#fff" } }); |
| 341 | } |
| 342 | }, [drawVertices, mapLoaded]); |
| 343 | |
| 344 | // Boundary editing |
| 345 | useEffect(() => { |
| 346 | editMarkersRef.current.forEach((m) => m.remove()); |
| 347 | editMarkersRef.current = []; |