From b24b7a2fe484659f4aefee7f72f535acca45f212 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Stephan=20B=C3=B6sch-Plepelits?= Date: Sat, 5 Sep 2020 08:51:46 +0200 Subject: [PATCH] Leisure: add 'empty value' as separate filter option --- leisure.json | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/leisure.json b/leisure.json index 95228682..c2106b05 100644 --- a/leisure.json +++ b/leisure.json @@ -52,7 +52,7 @@ "valueName": "{{ tagTrans(\"access\", value) }}", "values": { "*": { - "name": "{{ trans('any value') }}", + "name": "<{{ trans('any value') }}>", "query": "nwr", "weight": -1 }, @@ -63,13 +63,17 @@ "discouraged": {}, "unknown": { "name": "{{ trans(\"unknown\") }}", - "query": "(nwr[\"access\"=\"unknown\"];nwr[!access];)", + "query": "nwr[\"access\"=\"unknown\"]" + }, + "!": { + "name": "<{{ trans('empty value') }}>", + "query": "nwr[!access]", "weight": 1 }, "?": { - "name": "{{ trans(\"other\") }}", + "name": "<{{ trans(\"other\") }}>", "query": "nwr[access][\"access\"!~\"^(public|private|permissive|customers|discouraged|unknown|yes)$\"]", - "weight": 1 + "weight": 2 } }, "emptyQuery": "nwr[\"access\"!=\"private\"]"