Feature update (v4.5): Filter category results

Submitted by plepe on Thu, 01/31/2019 - 14:22

This update brings a very exciting feature: You can filter category results by certain criteria. Every category has a filter for the title of the map features (in fact it queries the tags name, operator and ref, including the localized tags like "name:en"). Many categories have additional filters, e.g. for the type of object (Example: filter the emergency category by type, e.g. Police, Fire Station, Hospital, ...). (Requested here: #33, #70)
Gastronomy category filtered for pubs in Birmingham, showing possible additional filters. Further minor changes since the last upgrade: