Add leaflet-geosearch

This Leaflet plugin adds a live address search on the map.

We anticipate the possibility to find POIs from their address,
or to check whether an address is already in the database.

For now it enables looking up an address.

https://smeijer.github.io/leaflet-geosearch/leaflet-control/

1 files changed, 10 insertions, 0 deletions

diff --git a/app/javascript/controllers/map_controller.js b/app/javascript/controllers/map_controller.js
index 57bafa5..0a64f98 100644
--- a/app/javascript/controllers/map_controller.js
+++ b/app/javascript/controllers/map_controller.js
@@ -19,6 +19,7 @@ import "leaflet.markercluster/dist/leaflet.markercluster.js"
 
 import 'leaflet-extra-markers'
 import 'leaflet-easyprint'
+import { GeoSearchControl, OpenStreetMapProvider } from 'leaflet-geosearch';
 
 export default class extends Controller {
     static targets = [ "container" ]
@@ -75,6 +76,15 @@ export default class extends Controller {
             sizeModes: ['A4Portrait', 'A4Landscape']
         }).addTo(this.map);
 
+        /* Add search */
+        const provider = new OpenStreetMapProvider();
+        const searchControl = new GeoSearchControl({
+            provider: provider,
+            style: 'button',
+            position: 'bottomright'
+        });
+        this.map.addControl(searchControl);
+
         // Allow calling the mapController from elsewhere.
         this.element[this.identifier] = this
     }