guygriffiths/leaflet-geojson-filter

A Leaflet control for filtering text properties of features in a GeoJSON layer

JavaScript