From dcc182b5faa322d7ba25e1c8785edf0984c4e59b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Stephan=20B=C3=B6sch-Plepelits?= <skunk@xover.mud.at>
Date: Wed, 19 Aug 2020 22:45:47 +0200
Subject: [PATCH] leisure: add type filter

---
 leisure.json | 54 +++++++++++++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 53 insertions(+), 1 deletion(-)

diff --git a/leisure.json b/leisure.json
index 58af7a12..d3b6525a 100644
--- a/leisure.json
+++ b/leisure.json
@@ -72,6 +72,58 @@
                 }
             },
             "emptyQuery": "nwr[\"access\"!=\"private\"]"
+        },
+        "leisure": {
+            "name": "{{ trans('filter:type') }}",
+            "type": "select",
+            "values": "{% set list = [] %}{% for k in const %}<option value=\"{{ k }}\">{% set list = list|merge([ k ]) %}{{ tagTrans('leisure', k) }}</option>{% endfor %}<option weight='1' value='other' query='nwr[leisure][leisure!~\"^(|.*;)({{ list|join('|') }})(|;.*)$\"]'>{{ trans('other') }}</option>",
+            "sort": "natsort",
+            "op": "has"
         }
-    }
+    },
+    "const": [
+        "adult_gaming_centre",
+        "amusement_arcade",
+        "bandstand",
+        "beach_resort",
+        "bird_hide",
+        "bleachers",
+        "bowling_alley",
+        "common",
+        "dance",
+        "disc_golf_course",
+        "dog_park",
+        "escape_game",
+        "firepit",
+        "fishing",
+        "fitness_centre",
+        "fitness_station",
+        "garden",
+        "golf_course",
+        "hackerspace",
+        "horse_riding",
+        "ice_rink",
+        "indoor_play",
+        "marina",
+        "miniature_golf",
+        "nature_reserve",
+        "outdoor_seating",
+        "park",
+        "picnic_table",
+        "pitch",
+        "playground",
+        "sauna",
+        "slipway",
+        "sport",
+        "sports_cenre",
+        "sports_hall",
+        "stadium",
+        "summer_camp",
+        "swimming_area",
+        "swimming_pool",
+        "track",
+        "trampoline_park",
+        "water_park",
+        "wildlife_hide"
+    ]
 }