Skip to content

Commit

Permalink
Hide POIs with level<>0
Browse files Browse the repository at this point in the history
  • Loading branch information
jirik committed Dec 9, 2018
1 parent 73cba3e commit 406a5c9
Showing 1 changed file with 36 additions and 0 deletions.
36 changes: 36 additions & 0 deletions style.json
Original file line number Diff line number Diff line change
Expand Up @@ -3977,6 +3977,18 @@
">=",
"rank",
25
],
[
"any",
[
"!has",
"level"
],
[
"==",
"level",
0
]
]
],
"layout": {
Expand Down Expand Up @@ -4023,6 +4035,18 @@
">=",
"rank",
15
],
[
"any",
[
"!has",
"level"
],
[
"==",
"level",
0
]
]
],
"layout": {
Expand Down Expand Up @@ -4068,6 +4092,18 @@
[
"has",
"name"
],
[
"any",
[
"!has",
"level"
],
[
"==",
"level",
0
]
]
],
"layout": {
Expand Down

0 comments on commit 406a5c9

Please sign in to comment.