From 38501caf48a80f127c93e4e9ddc4f3a7ca3e2a5e Mon Sep 17 00:00:00 2001 From: wmisener <58491489+wmisener@users.noreply.github.com> Date: Tue, 9 Jul 2024 19:10:43 -0700 Subject: [PATCH] Add legend entries As described in original PR, but neglected to actually merge. --- src/layer/place.js | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/src/layer/place.js b/src/layer/place.js index d5556d131..4d9639d9a 100644 --- a/src/layer/place.js +++ b/src/layer/place.js @@ -590,6 +590,18 @@ export const legendEntries = [ description: "Small village", layers: [village.id], filter: nonCapitalFilter, + }, + { + description: "Major district", + layers: [suburb.id], + }, + { + description: "Large neighborhood", + layers: [quarter.id], + }, + { + description: "Neighborhood", + layers: [neighborhood.id], }, { description: "National capital",