🏃 adding tile feature padding to improve edge clipping

This commit is contained in:
Michael Straßburger
2016-11-06 18:56:57 +01:00
parent 329f6fc26b
commit cfd8e24342
4 changed files with 22 additions and 92 deletions

View File

@@ -1557,82 +1557,6 @@
]
]
},
{
"type": "line",
"id": "admin_level_3_maritime",
"paint": {
"line-color": "#a0c8f0",
"line-width": {
"base": 1,
"stops": [
[
4,
0.4
],
[
5,
1
],
[
12,
3
]
]
}
},
"source-layer": "admin",
"filter": [
"all",
[
">=",
"admin_level",
3
],
[
"==",
"maritime",
1
]
]
},
{
"type": "line",
"id": "admin_level_2_maritime",
"paint": {
"line-color": "#a0c8f0",
"line-width": {
"base": 1,
"stops": [
[
4,
1.4
],
[
5,
2
],
[
12,
8
]
]
}
},
"source-layer": "admin",
"filter": [
"all",
[
"==",
"admin_level",
2
],
[
"==",
"maritime",
1
]
]
},
{
"type": "symbol",
"id": "water_label",