ilja_space/MapComplete
1
0
Fork 0
forked from MapComplete/MapComplete
Code Pull requests Activity

Linting of the postboxes theme

Browse source
This commit is contained in:
Pieter Vander Vennet 2021-10-11 22:32:25 +02:00
parent 652b936444
commit 2d8b9a9481
3 changed files with 146 additions and 138 deletions
Download patch file Download diff file Expand all files Collapse all files

1
Logic/FeatureSource/Actors/SaveTileToLocalStorageActor.ts
View file

@ -4,7 +4,6 @@
* Technically, more an Actor then a featuresource, but it fits more neatly this ay * Technically, more an Actor then a featuresource, but it fits more neatly this ay
*/ */
import {FeatureSourceForLayer} from "../FeatureSource"; import {FeatureSourceForLayer} from "../FeatureSource";
import SimpleMetaTagger from "../../SimpleMetaTagger";
export default class SaveTileToLocalStorageActor { export default class SaveTileToLocalStorageActor {
public static readonly storageKey: string = "cached-features"; public static readonly storageKey: string = "cached-features";

23
assets/themes/postboxes_postoffices/postboxes_postoffices.json
View file

@ -20,7 +20,8 @@
"startZoom": 13, "startZoom": 13,
"widenFactor": 0.05, "widenFactor": 0.05,
"socialImage": "", "socialImage": "",
"layers": [{ "layers": [
{
"id": "postboxes", "id": "postboxes",
"name": { "name": {
"en": "Postbox" "en": "Postbox"
@ -57,14 +58,16 @@
"color": { "color": {
"render": "#DADADA" "render": "#DADADA"
}, },
"presets": [{ "presets": [
{
"tags": [ "tags": [
"amenity=post_box" "amenity=post_box"
], ],
"title": { "title": {
"en": "Postbox" "en": "Postbox"
} }
}], }
],
"wayHandling": "both outline and center" "wayHandling": "both outline and center"
}, },
{ {
@ -92,7 +95,6 @@
"render": "{minimap(18): height: 5rem; overflow: hidden; border-radius:3rem; }" "render": "{minimap(18): height: 5rem; overflow: hidden; border-radius:3rem; }"
}, },
{ {
"#": "OH",
"render": { "render": {
"en": "Opening Hours: {opening_hours}" "en": "Opening Hours: {opening_hours}"
}, },
@ -103,12 +105,15 @@
"question": { "question": {
"en": "What are the opening hours for this post office?" "en": "What are the opening hours for this post office?"
}, },
"mappings": [{ "mappings": [
{
"if": "opening_hours=24/7", "if": "opening_hours=24/7",
"then": { "then": {
"en": "24/7 opened (including holidays)" "en": "24/7 opened (including holidays)"
} }
}] }
],
"id": "OH"
} }
], ],
"icon": { "icon": {
@ -123,14 +128,16 @@
"color": { "color": {
"render": "#DADADA" "render": "#DADADA"
}, },
"presets": [{ "presets": [
{
"tags": [ "tags": [
"amenity=post_office" "amenity=post_office"
], ],
"title": { "title": {
"en": "Post Office" "en": "Post Office"
} }
}], }
],
"wayHandling": 2 "wayHandling": 2
} }
], ],

4
assets/themes/uk_addresses/uk_addresses.json
View file

@ -151,7 +151,9 @@
}, },
"freeform": { "freeform": {
"key": "addr:housenumber", "key": "addr:housenumber",
"addExtraTags": ["nohousenumber="] "addExtraTags": [
"nohousenumber="
]
}, },
"mappings": [ "mappings": [
{ {