From 483fe6c5274577b64ac608191eb136331715e294 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Stephan=20B=C3=B6sch-Plepelits?= Date: Sun, 1 Apr 2018 20:23:55 +0200 Subject: [PATCH] Gastro: improve filter --- gastro.json | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/gastro.json b/gastro.json index ac64283..6878243 100644 --- a/gastro.json +++ b/gastro.json @@ -35,6 +35,12 @@ "markerSign": "{% if tags.amenity=='bar' %}🍸{% elseif tags.amenity=='biergarten'%}🍻{% elseif tags.amenity=='cafe' %}☕{% elseif tags.amenity=='fast_food' %}🍔{% elseif tags.amenity=='ice_cream' %}🍨{% elseif tags.amenity=='pub' %}🍺{% else %}🍴{% endif %}" }, "filter": { + "name": { + "toCheck": [ "name", "operator", "amenity" ], + "name": "tag:name", + "type": "text", + "op": "strsearch" + }, "amenity": { "type": "select", "values": [