| 
									
										
										
										
											2020-11-06 01:58:26 +01:00
										 |  |  | import Translations from "../../UI/i18n/Translations"; | 
					
						
							| 
									
										
										
										
											2020-10-27 01:01:34 +01:00
										 |  |  | import TagRenderingConfig from "./TagRenderingConfig"; | 
					
						
							|  |  |  | import {Tag, TagsFilter} from "../../Logic/Tags"; | 
					
						
							|  |  |  | import {LayerConfigJson} from "./LayerConfigJson"; | 
					
						
							|  |  |  | import {FromJSON} from "./FromJSON"; | 
					
						
							|  |  |  | import SharedTagRenderings from "../SharedTagRenderings"; | 
					
						
							|  |  |  | import {TagRenderingConfigJson} from "./TagRenderingConfigJson"; | 
					
						
							| 
									
										
										
										
											2020-11-06 01:58:26 +01:00
										 |  |  | import {Translation} from "../../UI/i18n/Translation"; | 
					
						
							| 
									
										
										
										
											2021-01-03 00:19:42 +01:00
										 |  |  | import Img from "../../UI/Base/Img"; | 
					
						
							| 
									
										
										
										
											2020-11-06 04:02:53 +01:00
										 |  |  | import Svg from "../../Svg"; | 
					
						
							| 
									
										
										
										
											2020-11-17 02:22:48 +01:00
										 |  |  | import {SubstitutedTranslation} from "../../UI/SpecialVisualizations"; | 
					
						
							|  |  |  | import {Utils} from "../../Utils"; | 
					
						
							|  |  |  | import Combine from "../../UI/Base/Combine"; | 
					
						
							| 
									
										
										
										
											2020-11-17 16:29:51 +01:00
										 |  |  | import {VariableUiElement} from "../../UI/Base/VariableUIElement"; | 
					
						
							| 
									
										
										
										
											2020-11-27 01:39:54 +01:00
										 |  |  | import {UIEventSource} from "../../Logic/UIEventSource"; | 
					
						
							| 
									
										
										
										
											2020-12-06 00:20:27 +01:00
										 |  |  | import {FixedUiElement} from "../../UI/Base/FixedUiElement"; | 
					
						
							| 
									
										
										
										
											2020-12-02 21:23:23 +01:00
										 |  |  | import {UIElement} from "../../UI/UIElement"; | 
					
						
							| 
									
										
										
										
											2020-10-27 01:01:34 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  | export default class LayerConfig { | 
					
						
							| 
									
										
										
										
											2020-11-17 02:22:48 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-10-27 01:01:34 +01:00
										 |  |  |     id: string; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     name: Translation | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     description: Translation; | 
					
						
							|  |  |  |     overpassTags: TagsFilter; | 
					
						
							| 
									
										
										
										
											2020-11-17 02:22:48 +01:00
										 |  |  |     doNotDownload: boolean; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     passAllFeatures: boolean; | 
					
						
							| 
									
										
										
										
											2020-10-27 01:01:34 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  |     minzoom: number; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-11-17 02:22:48 +01:00
										 |  |  |     title?: TagRenderingConfig; | 
					
						
							| 
									
										
										
										
											2020-10-27 01:01:34 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  |     titleIcons: TagRenderingConfig[]; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-10-27 14:46:40 +01:00
										 |  |  |     icon: TagRenderingConfig; | 
					
						
							| 
									
										
										
										
											2020-12-06 00:20:27 +01:00
										 |  |  |     iconOverlays: { if: TagsFilter, then: TagRenderingConfig, badge: boolean }[] | 
					
						
							| 
									
										
										
										
											2020-10-27 14:46:40 +01:00
										 |  |  |     iconSize: TagRenderingConfig; | 
					
						
							| 
									
										
										
										
											2020-11-17 02:22:48 +01:00
										 |  |  |     rotation: TagRenderingConfig; | 
					
						
							| 
									
										
										
										
											2020-10-27 14:46:40 +01:00
										 |  |  |     color: TagRenderingConfig; | 
					
						
							|  |  |  |     width: TagRenderingConfig; | 
					
						
							| 
									
										
										
										
											2020-10-30 00:56:46 +01:00
										 |  |  |     dashArray: TagRenderingConfig; | 
					
						
							| 
									
										
										
										
											2020-10-27 01:01:34 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     wayHandling: number; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     static WAYHANDLING_DEFAULT = 0; | 
					
						
							|  |  |  |     static WAYHANDLING_CENTER_ONLY = 1; | 
					
						
							|  |  |  |     static WAYHANDLING_CENTER_AND_WAY = 2; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     hideUnderlayingFeaturesMinPercentage?: number; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     presets: { | 
					
						
							|  |  |  |         title: Translation, | 
					
						
							|  |  |  |         tags: Tag[], | 
					
						
							|  |  |  |         description?: Translation, | 
					
						
							|  |  |  |     }[]; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     tagRenderings: TagRenderingConfig []; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-11-17 16:29:51 +01:00
										 |  |  |     constructor(json: LayerConfigJson, roamingRenderings: TagRenderingConfig[], | 
					
						
							|  |  |  |                 context?: string) { | 
					
						
							| 
									
										
										
										
											2020-10-27 01:01:34 +01:00
										 |  |  |         context = context + "." + json.id; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         this.id = json.id; | 
					
						
							|  |  |  |         this.name = Translations.T(json.name); | 
					
						
							|  |  |  |         this.description = Translations.T(json.name); | 
					
						
							|  |  |  |         this.overpassTags = FromJSON.Tag(json.overpassTags, context + ".overpasstags"); | 
					
						
							| 
									
										
										
										
											2020-11-17 02:22:48 +01:00
										 |  |  |         this.doNotDownload = json.doNotDownload ?? false, | 
					
						
							|  |  |  |             this.passAllFeatures = json.passAllFeatures ?? false; | 
					
						
							| 
									
										
										
										
											2020-10-27 01:01:34 +01:00
										 |  |  |         this.minzoom = json.minzoom; | 
					
						
							|  |  |  |         this.wayHandling = json.wayHandling ?? 0; | 
					
						
							|  |  |  |         this.hideUnderlayingFeaturesMinPercentage = json.hideUnderlayingFeaturesMinPercentage ?? 0; | 
					
						
							| 
									
										
										
										
											2020-10-30 00:56:46 +01:00
										 |  |  |         this.presets = (json.presets ?? []).map(pr => | 
					
						
							|  |  |  |             ({ | 
					
						
							|  |  |  |                 title: Translations.T(pr.title), | 
					
						
							|  |  |  |                 tags: pr.tags.map(t => FromJSON.SimpleTag(t)), | 
					
						
							|  |  |  |                 description: Translations.T(pr.description) | 
					
						
							|  |  |  |             })) | 
					
						
							| 
									
										
										
										
											2020-10-27 01:01:34 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         /** | 
					
						
							|  |  |  |          * Converts a list of tagRenderingCOnfigJSON in to TagRenderingConfig | 
					
						
							|  |  |  |          * A string is interpreted as a name to call | 
					
						
							|  |  |  |          * @param tagRenderings | 
					
						
							|  |  |  |          */ | 
					
						
							|  |  |  |         function trs(tagRenderings?: (string | TagRenderingConfigJson)[]) { | 
					
						
							|  |  |  |             if (tagRenderings === undefined) { | 
					
						
							|  |  |  |                 return []; | 
					
						
							|  |  |  |             } | 
					
						
							|  |  |  |             return tagRenderings.map( | 
					
						
							|  |  |  |                 (renderingJson, i) => { | 
					
						
							|  |  |  |                     if (typeof renderingJson === "string") { | 
					
						
							| 
									
										
										
										
											2020-12-08 23:44:34 +01:00
										 |  |  |                          | 
					
						
							|  |  |  |                         if(renderingJson === "questions"){ | 
					
						
							|  |  |  |                             return new TagRenderingConfig("questions") | 
					
						
							|  |  |  |                         } | 
					
						
							|  |  |  |                          | 
					
						
							|  |  |  |                          | 
					
						
							| 
									
										
										
										
											2020-10-27 01:01:34 +01:00
										 |  |  |                         const shared = SharedTagRenderings.SharedTagRendering[renderingJson]; | 
					
						
							|  |  |  |                         if (shared !== undefined) { | 
					
						
							|  |  |  |                             return shared; | 
					
						
							|  |  |  |                         } | 
					
						
							|  |  |  |                         throw `Predefined tagRendering ${renderingJson} not found in ${context}`; | 
					
						
							|  |  |  |                     } | 
					
						
							|  |  |  |                     return new TagRenderingConfig(renderingJson, `${context}.tagrendering[${i}]`); | 
					
						
							|  |  |  |                 }); | 
					
						
							|  |  |  |         } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-11-17 17:36:56 +01:00
										 |  |  |         this.tagRenderings = trs(json.tagRenderings).concat(roamingRenderings); | 
					
						
							| 
									
										
										
										
											2020-11-24 12:52:01 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         const titleIcons = []; | 
					
						
							|  |  |  |         const defaultIcons = ["phonelink", "emaillink", "wikipedialink", "osmlink", "sharelink"]; | 
					
						
							|  |  |  |         for (const icon of (json.titleIcons ?? defaultIcons)) { | 
					
						
							|  |  |  |             if (icon === "defaults") { | 
					
						
							|  |  |  |                 titleIcons.push(...defaultIcons); | 
					
						
							|  |  |  |             } else { | 
					
						
							|  |  |  |                 titleIcons.push(icon); | 
					
						
							|  |  |  |             } | 
					
						
							|  |  |  |         } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         this.titleIcons = trs(titleIcons); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-10-27 01:01:34 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  |         function tr(key, deflt) { | 
					
						
							|  |  |  |             const v = json[key]; | 
					
						
							| 
									
										
										
										
											2020-11-17 02:22:48 +01:00
										 |  |  |             if (v === undefined || v === null) { | 
					
						
							|  |  |  |                 if (deflt === undefined) { | 
					
						
							|  |  |  |                     return undefined; | 
					
						
							|  |  |  |                 } | 
					
						
							| 
									
										
										
										
											2020-10-27 01:01:34 +01:00
										 |  |  |                 return new TagRenderingConfig(deflt); | 
					
						
							|  |  |  |             } | 
					
						
							|  |  |  |             if (typeof v === "string") { | 
					
						
							|  |  |  |                 const shared = SharedTagRenderings.SharedTagRendering[v]; | 
					
						
							|  |  |  |                 if (shared) { | 
					
						
							|  |  |  |                     console.log("Got shared TR:", v, "-->", shared) | 
					
						
							|  |  |  |                     return shared; | 
					
						
							|  |  |  |                 } | 
					
						
							|  |  |  |             } | 
					
						
							|  |  |  |             return new TagRenderingConfig(v, context + "." + key); | 
					
						
							|  |  |  |         } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-11-17 02:22:48 +01:00
										 |  |  |         this.title = tr("title", undefined); | 
					
						
							| 
									
										
										
										
											2021-01-03 03:09:52 +01:00
										 |  |  |         this.icon = tr("icon", Img.AsData(Svg.pin)); | 
					
						
							| 
									
										
										
										
											2020-11-27 03:05:29 +01:00
										 |  |  |         this.iconOverlays = (json.iconOverlays ?? []).map(overlay => { | 
					
						
							| 
									
										
										
										
											2020-12-06 00:20:27 +01:00
										 |  |  |             let tr = new TagRenderingConfig(overlay.then); | 
					
						
							|  |  |  |             if (typeof overlay.then === "string" && SharedTagRenderings.SharedIcons[overlay.then] !== undefined) { | 
					
						
							|  |  |  |                 tr = SharedTagRenderings.SharedIcons[overlay.then]; | 
					
						
							|  |  |  |             } | 
					
						
							| 
									
										
										
										
											2020-11-27 03:05:29 +01:00
										 |  |  |             return { | 
					
						
							|  |  |  |                 if: FromJSON.Tag(overlay.if), | 
					
						
							| 
									
										
										
										
											2020-12-06 00:20:27 +01:00
										 |  |  |                 then: tr, | 
					
						
							| 
									
										
										
										
											2020-11-27 03:05:29 +01:00
										 |  |  |                 badge: overlay.badge ?? false | 
					
						
							|  |  |  |             } | 
					
						
							|  |  |  |         }); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-11-17 02:22:48 +01:00
										 |  |  |         const iconPath = this.icon.GetRenderValue({id: "node/-1"}).txt; | 
					
						
							|  |  |  |         if (iconPath.startsWith(Utils.assets_path)) { | 
					
						
							|  |  |  |             const iconKey = iconPath.substr(Utils.assets_path.length); | 
					
						
							|  |  |  |             if (Svg.All[iconKey] === undefined) { | 
					
						
							|  |  |  |                 throw "Builtin SVG asset not found: " + iconPath | 
					
						
							|  |  |  |             } | 
					
						
							|  |  |  |         } | 
					
						
							| 
									
										
										
										
											2020-10-27 01:01:34 +01:00
										 |  |  |         this.iconSize = tr("iconSize", "40,40,center"); | 
					
						
							|  |  |  |         this.color = tr("color", "#0000ff"); | 
					
						
							|  |  |  |         this.width = tr("width", "7"); | 
					
						
							| 
									
										
										
										
											2020-11-17 02:22:48 +01:00
										 |  |  |         this.rotation = tr("rotation", "0"); | 
					
						
							| 
									
										
										
										
											2020-10-30 00:56:46 +01:00
										 |  |  |         this.dashArray = tr("dashArray", ""); | 
					
						
							| 
									
										
										
										
											2020-10-27 01:01:34 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     } | 
					
						
							| 
									
										
										
										
											2020-11-16 01:59:30 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-11-27 01:39:54 +01:00
										 |  |  |     public GenerateLeafletStyle(tags: UIEventSource<any>, clickable: boolean): | 
					
						
							| 
									
										
										
										
											2020-11-16 01:59:30 +01:00
										 |  |  |         { | 
					
						
							|  |  |  |             color: string; | 
					
						
							| 
									
										
										
										
											2020-11-17 02:22:48 +01:00
										 |  |  |             icon: { | 
					
						
							|  |  |  |                 iconUrl: string, | 
					
						
							|  |  |  |                 popupAnchor: [number, number]; | 
					
						
							|  |  |  |                 iconAnchor: [number, number]; | 
					
						
							|  |  |  |                 iconSize: [number, number]; | 
					
						
							| 
									
										
										
										
											2020-12-06 00:20:27 +01:00
										 |  |  |                 html: UIElement; | 
					
						
							| 
									
										
										
										
											2020-11-17 16:29:51 +01:00
										 |  |  |                 className?: string; | 
					
						
							| 
									
										
										
										
											2020-11-17 02:22:48 +01:00
										 |  |  |             }; | 
					
						
							|  |  |  |             weight: number; dashArray: number[] | 
					
						
							| 
									
										
										
										
											2020-11-16 01:59:30 +01:00
										 |  |  |         } { | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         function num(str, deflt = 40) { | 
					
						
							|  |  |  |             const n = Number(str); | 
					
						
							|  |  |  |             if (isNaN(n)) { | 
					
						
							|  |  |  |                 return deflt; | 
					
						
							|  |  |  |             } | 
					
						
							|  |  |  |             return n; | 
					
						
							|  |  |  |         } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-11-17 02:22:48 +01:00
										 |  |  |         function rendernum(tr: TagRenderingConfig, deflt: number) { | 
					
						
							|  |  |  |             const str = Number(render(tr, "" + deflt)); | 
					
						
							|  |  |  |             const n = Number(str); | 
					
						
							|  |  |  |             if (isNaN(n)) { | 
					
						
							|  |  |  |                 return deflt; | 
					
						
							|  |  |  |             } | 
					
						
							|  |  |  |             return n; | 
					
						
							|  |  |  |         } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         function render(tr: TagRenderingConfig, deflt?: string) { | 
					
						
							| 
									
										
										
										
											2020-11-27 01:39:54 +01:00
										 |  |  |             const str = (tr?.GetRenderValue(tags.data)?.txt ?? deflt); | 
					
						
							|  |  |  |             return SubstitutedTranslation.SubstituteKeys(str, tags.data); | 
					
						
							| 
									
										
										
										
											2020-11-17 02:22:48 +01:00
										 |  |  |         } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         const iconSize = render(this.iconSize, "40,40,center").split(","); | 
					
						
							|  |  |  |         const dashArray = render(this.dashArray).split(" ").map(Number); | 
					
						
							|  |  |  |         let color = render(this.color, "#00f"); | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         if (color.startsWith("--")) { | 
					
						
							|  |  |  |             color = getComputedStyle(document.body).getPropertyValue("--catch-detail-color") | 
					
						
							|  |  |  |         } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         const weight = rendernum(this.width, 5); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-11-16 01:59:30 +01:00
										 |  |  |         const iconW = num(iconSize[0]); | 
					
						
							|  |  |  |         const iconH = num(iconSize[1]); | 
					
						
							|  |  |  |         const mode = iconSize[2] ?? "center" | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         let anchorW = iconW / 2; | 
					
						
							|  |  |  |         let anchorH = iconH / 2; | 
					
						
							|  |  |  |         if (mode === "left") { | 
					
						
							|  |  |  |             anchorW = 0; | 
					
						
							|  |  |  |         } | 
					
						
							|  |  |  |         if (mode === "right") { | 
					
						
							|  |  |  |             anchorW = iconW; | 
					
						
							|  |  |  |         } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |         if (mode === "top") { | 
					
						
							|  |  |  |             anchorH = 0; | 
					
						
							|  |  |  |         } | 
					
						
							|  |  |  |         if (mode === "bottom") { | 
					
						
							|  |  |  |             anchorH = iconH; | 
					
						
							|  |  |  |         } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-11-27 01:39:54 +01:00
										 |  |  |         const iconUrlStatic = render(this.icon); | 
					
						
							| 
									
										
										
										
											2020-11-27 03:05:29 +01:00
										 |  |  |         const self = this; | 
					
						
							| 
									
										
										
										
											2020-12-06 00:20:27 +01:00
										 |  |  |         var mappedHtml = tags.map(tgs => { | 
					
						
							|  |  |  |             // What do you mean, 'tgs' is never read?
 | 
					
						
							| 
									
										
										
										
											2020-11-27 01:39:54 +01:00
										 |  |  |             // It is read implicitly in the 'render' method
 | 
					
						
							| 
									
										
										
										
											2020-11-27 03:05:29 +01:00
										 |  |  |             const iconUrl = render(self.icon); | 
					
						
							|  |  |  |             const rotation = render(self.rotation, "0deg"); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-12-06 00:20:27 +01:00
										 |  |  |             let htmlParts: UIElement[] = []; | 
					
						
							| 
									
										
										
										
											2020-11-27 03:05:29 +01:00
										 |  |  |             let sourceParts = iconUrl.split(";"); | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-12-06 00:20:27 +01:00
										 |  |  |             function genHtmlFromString(sourcePart: string): UIElement { | 
					
						
							| 
									
										
										
										
											2021-01-04 04:06:21 +01:00
										 |  |  |                 const style = `width:100%;height:100%;transform: rotate( ${rotation} );display:block;position: absolute; top: 0, left: 0`; | 
					
						
							| 
									
										
										
										
											2020-12-06 00:20:27 +01:00
										 |  |  |                 let html: UIElement = new FixedUiElement(`<img src="${sourcePart}" style="${style}" />`); | 
					
						
							| 
									
										
										
										
											2021-01-04 04:06:21 +01:00
										 |  |  |                 const match = sourcePart.match(/([a-zA-Z0-9_]*):([^;]*)/) | 
					
						
							| 
									
										
										
										
											2020-11-27 03:05:29 +01:00
										 |  |  |                 if (match !== null && Svg.All[match[1] + ".svg"] !== undefined) { | 
					
						
							|  |  |  |                     html = new Combine([ | 
					
						
							|  |  |  |                         (Svg.All[match[1] + ".svg"] as string) | 
					
						
							| 
									
										
										
										
											2021-01-04 04:06:21 +01:00
										 |  |  |                             .replace(/#000000/g,  match[2]) | 
					
						
							| 
									
										
										
										
											2020-12-06 00:20:27 +01:00
										 |  |  |                     ]).SetStyle(style); | 
					
						
							| 
									
										
										
										
											2020-11-27 03:05:29 +01:00
										 |  |  |                 } | 
					
						
							|  |  |  |                 return html; | 
					
						
							|  |  |  |             } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |             for (const sourcePart of sourceParts) { | 
					
						
							|  |  |  |                 htmlParts.push(genHtmlFromString(sourcePart)) | 
					
						
							|  |  |  |             } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |             let badges = []; | 
					
						
							|  |  |  |             for (const iconOverlay of self.iconOverlays) { | 
					
						
							| 
									
										
										
										
											2020-12-06 00:20:27 +01:00
										 |  |  |                 if (!iconOverlay.if.matchesProperties(tgs)) { | 
					
						
							| 
									
										
										
										
											2020-11-27 03:05:29 +01:00
										 |  |  |                     continue; | 
					
						
							|  |  |  |                 } | 
					
						
							|  |  |  |                 if (iconOverlay.badge) { | 
					
						
							| 
									
										
										
										
											2020-12-06 00:20:27 +01:00
										 |  |  |                     const badgeParts: UIElement[] = []; | 
					
						
							|  |  |  |                     const partDefs = iconOverlay.then.GetRenderValue(tgs).txt.split(";"); | 
					
						
							| 
									
										
										
										
											2020-12-02 21:23:23 +01:00
										 |  |  | 
 | 
					
						
							|  |  |  |                     for (const badgePartStr of partDefs) { | 
					
						
							|  |  |  |                         badgeParts.push(genHtmlFromString(badgePartStr)) | 
					
						
							|  |  |  |                     } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |                     const badgeCompound = new Combine(badgeParts) | 
					
						
							|  |  |  |                         .SetStyle("display:flex;position:relative;width:100%;height:100%;"); | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |                     badges.push(badgeCompound) | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-11-27 03:05:29 +01:00
										 |  |  |                 } else { | 
					
						
							| 
									
										
										
										
											2020-12-06 00:20:27 +01:00
										 |  |  |                     htmlParts.push(genHtmlFromString( | 
					
						
							|  |  |  |                         iconOverlay.then.GetRenderValue(tgs).txt)); | 
					
						
							| 
									
										
										
										
											2020-11-27 03:05:29 +01:00
										 |  |  |                 } | 
					
						
							|  |  |  |             } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |             if (badges.length > 0) { | 
					
						
							|  |  |  |                 const badgesComponent = new Combine(badges) | 
					
						
							| 
									
										
										
										
											2020-12-06 00:20:27 +01:00
										 |  |  |                     .SetStyle("display:flex;height:50%;width:100%;position:absolute;top:50%;left:50%;"); | 
					
						
							| 
									
										
										
										
											2020-11-27 03:05:29 +01:00
										 |  |  |                 htmlParts.push(badgesComponent) | 
					
						
							| 
									
										
										
										
											2020-11-27 01:39:54 +01:00
										 |  |  |             } | 
					
						
							| 
									
										
										
										
											2020-12-06 00:20:27 +01:00
										 |  |  |             return new Combine(htmlParts).Render(); | 
					
						
							| 
									
										
										
										
											2020-11-27 01:39:54 +01:00
										 |  |  |         }) | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-11-16 01:59:30 +01:00
										 |  |  |         return { | 
					
						
							|  |  |  |             icon: | 
					
						
							|  |  |  |                 { | 
					
						
							| 
									
										
										
										
											2020-12-06 00:20:27 +01:00
										 |  |  |                     html: new VariableUiElement(mappedHtml), | 
					
						
							| 
									
										
										
										
											2020-11-16 01:59:30 +01:00
										 |  |  |                     iconSize: [iconW, iconH], | 
					
						
							|  |  |  |                     iconAnchor: [anchorW, anchorH], | 
					
						
							| 
									
										
										
										
											2020-11-17 02:22:48 +01:00
										 |  |  |                     popupAnchor: [0, 3 - anchorH], | 
					
						
							| 
									
										
										
										
											2020-11-27 01:39:54 +01:00
										 |  |  |                     iconUrl: iconUrlStatic, | 
					
						
							| 
									
										
										
										
											2020-11-17 16:29:51 +01:00
										 |  |  |                     className: clickable ? "leaflet-div-icon" : "leaflet-div-icon unclickable" | 
					
						
							| 
									
										
										
										
											2020-11-16 01:59:30 +01:00
										 |  |  |                 }, | 
					
						
							|  |  |  |             color: color, | 
					
						
							|  |  |  |             weight: weight, | 
					
						
							|  |  |  |             dashArray: dashArray | 
					
						
							|  |  |  |         }; | 
					
						
							|  |  |  |     } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2020-10-27 01:01:34 +01:00
										 |  |  | } |