Formatting

This commit is contained in:
Pieter Vander Vennet 2021-07-27 20:11:34 +02:00
parent 4539a3b21c
commit decbf462d3

View file

@ -1,11 +1,11 @@
import * as L from "leaflet"; import * as L from "leaflet";
import { UIEventSource } from "../UIEventSource"; import {UIEventSource} from "../UIEventSource";
import Svg from "../../Svg"; import Svg from "../../Svg";
import Img from "../../UI/Base/Img"; import Img from "../../UI/Base/Img";
import { LocalStorageSource } from "../Web/LocalStorageSource"; import {LocalStorageSource} from "../Web/LocalStorageSource";
import LayoutConfig from "../../Customizations/JSON/LayoutConfig"; import LayoutConfig from "../../Customizations/JSON/LayoutConfig";
import { VariableUiElement } from "../../UI/Base/VariableUIElement"; import {VariableUiElement} from "../../UI/Base/VariableUIElement";
import { CenterFlexedElement } from "../../UI/Base/CenterFlexedElement"; import {CenterFlexedElement} from "../../UI/Base/CenterFlexedElement";
export default class GeoLocationHandler extends VariableUiElement { export default class GeoLocationHandler extends VariableUiElement {
/** /**
@ -156,7 +156,7 @@ export default class GeoLocationHandler extends VariableUiElement {
const map = self._leafletMap.data; const map = self._leafletMap.data;
const newMarker = L.marker(location.latlng, { icon: icon }); const newMarker = L.marker(location.latlng, {icon: icon});
newMarker.addTo(map); newMarker.addTo(map);
if (self._marker !== undefined) { if (self._marker !== undefined) {
@ -174,7 +174,7 @@ export default class GeoLocationHandler extends VariableUiElement {
} }
try { try {
navigator?.permissions navigator?.permissions
?.query({ name: "geolocation" }) ?.query({name: "geolocation"})
?.then(function (status) { ?.then(function (status) {
console.log("Geolocation is already", status); console.log("Geolocation is already", status);
if (status.state === "granted") { if (status.state === "granted") {