Import property boundaries from GeoJSON

This release adds GeoJSON boundary import to the editor, so you can bring property boundaries you already have straight into your map.

Import property boundaries from GeoJSON

• Import a boundary from a .geojson file using the Import button in the Layers panel — available when a map doesn't have a boundary yet.
• Files with a single polygon import straight away.
• Files with several polygons let you either pick one boundary to import, or Import all — bringing in every polygon at once, each as its own named boundary.
• Boundaries whose coordinates fall outside the map area are skipped with a clear message, so a stray shape in the file never breaks the import.

Editor tidy-up

• Small wording and icon consistency fixes across the editor, and removed a retired tool from the toolbar and keyboard-shortcut list.