From 8240b5c63360a7294f04fcdedf0c1bbf171bffe8 Mon Sep 17 00:00:00 2001 From: Dave Date: Mon, 22 Jul 2024 23:59:43 +0200 Subject: [PATCH] =?UTF-8?q?Fix=20bug=20in=20regexp=20that=20meant=20`"amen?= =?UTF-8?q?ity"~"pub|bar|biergarten"]`=20would=20return=20public=5Fbookcas?= =?UTF-8?q?e=20=F0=9F=93=9A?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- app/src/main.ts | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/app/src/main.ts b/app/src/main.ts index 92bf24b..2690882 100644 --- a/app/src/main.ts +++ b/app/src/main.ts @@ -14,10 +14,10 @@ let boundingBox: [number, number, number, number] | null = null; let selectedCategory: string = "drinks"; export const categories: { [key: string]: { tag: string; emoji: string } } = { - "drinks": { "tag": '"amenity"~"pub|bar|biergarten"', "emoji": "🍺" }, - "cafe": { "tag": '"amenity"~"cafe"', "emoji": "☕" }, - "food": { "tag": '"amenity"~"restaurant|fast_food|food_court|ice_cream"', "emoji": "🍴" }, - "park": { "tag": '"leisure"~"park|garden"', "emoji": "🌳" }, + "drinks": { "tag": 'amenity~"^(pub|bar|biergarten)$"', "emoji": "🍺" }, + "cafe": { "tag": 'amenity~"^(cafe)$"', "emoji": "☕" }, + "food": { "tag": 'amenity~"^(restaurant|fast_food|food_court|ice_cream)$"', "emoji": "🍴" }, + "park": { "tag": 'leisure~"^(park|garden)$"', "emoji": "🌳" }, }