diff options
| author | hellekin <hellekin@cepheide.org> | 2021-02-02 18:39:14 +0100 |
|---|---|---|
| committer | hellekin <hellekin@cepheide.org> | 2021-02-02 18:39:14 +0100 |
| commit | 8e404c4f3cf7880681b6f4cdf3c378e084ad54d2 (patch) | |
| tree | 355caf59f22cd6cb6ca0eb7f36d8d4e970004b72 /app/views/taxonomies/filter | |
| parent | 288f97605d0af8b027fbfc16703ce4856176dd8c (diff) | |
| download | incommon-map-8e404c4f3cf7880681b6f4cdf3c378e084ad54d2.tar.gz | |
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/
Diffstat (limited to 'app/views/taxonomies/filter')
0 files changed, 0 insertions, 0 deletions