diff options
| author | Yuval Adam <yuval@y3xz.com> | 2015-12-14 11:14:59 +0200 |
|---|---|---|
| committer | Yuval Adam <yuval@y3xz.com> | 2015-12-14 11:14:59 +0200 |
| commit | ee6f29f79bf8c447bf2d069ecc18bf18b1196208 (patch) | |
| tree | 5fa13743a3462b2aa5e78b29cbd25c57b0488c95 | |
| parent | 9743869e75e94f43bdaaee5ab41b6840cf3a5bb0 (diff) | |
Add localrank filter for city labels
| -rw-r--r-- | templates/index.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/templates/index.html b/templates/index.html index d4d1c35..f942c5f 100644 --- a/templates/index.html +++ b/templates/index.html @@ -106,6 +106,7 @@ var mapStyle = { "source": "mapbox", "source-layer": "place_label", "type": "symbol", + "filter": ["all", ["<=", "localrank", 6]], "layout": { "text-field": "{name_en}", "text-font": ["DIN Offc Pro Bold", "Arial Unicode MS Bold"], |