dev merge #163

Merged
sora merged 29 commits from dev into master 2025-03-05 00:11:12 +01:00
Showing only changes of commit 93d40d8d29 - Show all commits

View File

@ -141,7 +141,7 @@ export const icon_type = (item: string | NominatimResult): string => {
"nature_reserve",
],
"dice-five": ["water_park", "theme_park", "casino"],
"": ["?", "neighbourhood", "quarter", "highway"],
"": ["?", "neighbourhood", "quarter", "highway", "place"],
};
for (let k in types) {
@ -150,3 +150,13 @@ export const icon_type = (item: string | NominatimResult): string => {
console.log(item.display_name, item.category, item.type);
return "question";
};
export const get_filter = function (f: string) {
switch (f) {
case "hotel": return is_hotel_type;
case "restaurant": return is_restauration_type;
case "place": return is_attraction_type;
case "other":
default: return () => true;
}
}