2021-07-23 15:56:22 +02:00
|
|
|
import {UIEventSource} from "../UIEventSource";
|
2020-11-05 12:28:02 +01:00
|
|
|
import Svg from "../../Svg";
|
2021-07-23 15:56:22 +02:00
|
|
|
import {LocalStorageSource} from "../Web/LocalStorageSource";
|
|
|
|
import {VariableUiElement} from "../../UI/Base/VariableUIElement";
|
2021-08-07 23:11:34 +02:00
|
|
|
import LayoutConfig from "../../Models/ThemeConfig/LayoutConfig";
|
2021-08-26 12:15:26 +02:00
|
|
|
import {QueryParameters} from "../Web/QueryParameters";
|
2021-11-03 00:44:53 +01:00
|
|
|
import FeatureSource from "../FeatureSource/FeatureSource";
|
2020-06-28 02:42:22 +02:00
|
|
|
|
2021-06-28 00:45:49 +02:00
|
|
|
export default class GeoLocationHandler extends VariableUiElement {
|
2021-11-07 16:34:51 +01:00
|
|
|
|
2021-11-08 02:36:01 +01:00
|
|
|
private readonly currentLocation: FeatureSource
|
2021-11-07 16:34:51 +01:00
|
|
|
|
2021-07-23 15:56:22 +02:00
|
|
|
/**
|
|
|
|
* Wether or not the geolocation is active, aka the user requested the current location
|
|
|
|
* @private
|
|
|
|
*/
|
|
|
|
private readonly _isActive: UIEventSource<boolean>;
|
2021-07-19 16:23:13 +02:00
|
|
|
|
2021-07-24 02:32:33 +02:00
|
|
|
/**
|
|
|
|
* Wether or not the geolocation is locked, aka the user requested the current location and wants the crosshair to follow the user
|
|
|
|
* @private
|
|
|
|
*/
|
|
|
|
private readonly _isLocked: UIEventSource<boolean>;
|
2021-07-13 14:39:50 +02:00
|
|
|
|
2021-07-23 15:56:22 +02:00
|
|
|
/**
|
|
|
|
* The callback over the permission API
|
|
|
|
* @private
|
|
|
|
*/
|
|
|
|
private readonly _permission: UIEventSource<string>;
|
|
|
|
/**
|
|
|
|
* Literally: _currentGPSLocation.data != undefined
|
|
|
|
* @private
|
|
|
|
*/
|
|
|
|
private readonly _hasLocation: UIEventSource<boolean>;
|
2021-11-03 00:44:53 +01:00
|
|
|
private readonly _currentGPSLocation: UIEventSource<Coordinates>;
|
2021-07-23 15:56:22 +02:00
|
|
|
/**
|
|
|
|
* Kept in order to update the marker
|
|
|
|
* @private
|
|
|
|
*/
|
|
|
|
private readonly _leafletMap: UIEventSource<L.Map>;
|
2021-08-19 23:41:48 +02:00
|
|
|
|
2021-07-23 15:56:22 +02:00
|
|
|
/**
|
|
|
|
* The date when the user requested the geolocation. If we have a location, it'll autozoom to it the first 30 secs
|
|
|
|
* @private
|
|
|
|
*/
|
|
|
|
private _lastUserRequest: Date;
|
2021-08-19 23:41:48 +02:00
|
|
|
|
2021-07-23 15:56:22 +02:00
|
|
|
/**
|
|
|
|
* A small flag on localstorage. If the user previously granted the geolocation, it will be set.
|
|
|
|
* On firefox, the permissions api is broken (probably fingerprint resistiance) and "granted + don't ask again" doesn't stick between sessions.
|
|
|
|
*
|
|
|
|
* Instead, we set this flag. If this flag is set upon loading the page, we start geolocating immediately.
|
|
|
|
* If the user denies the geolocation this time, we unset this flag
|
|
|
|
* @private
|
|
|
|
*/
|
|
|
|
private readonly _previousLocationGrant: UIEventSource<string>;
|
2021-09-29 23:59:56 +02:00
|
|
|
private readonly _layoutToUse: LayoutConfig;
|
2021-07-19 16:23:13 +02:00
|
|
|
|
2021-07-23 15:56:22 +02:00
|
|
|
constructor(
|
2021-11-04 02:16:07 +01:00
|
|
|
state: {
|
2021-11-08 02:36:01 +01:00
|
|
|
currentUserLocation: FeatureSource,
|
2021-11-04 02:16:07 +01:00
|
|
|
leafletMap: UIEventSource<any>,
|
|
|
|
layoutToUse: LayoutConfig,
|
|
|
|
featureSwitchGeolocation: UIEventSource<boolean>
|
|
|
|
}
|
2021-07-23 15:56:22 +02:00
|
|
|
) {
|
2021-11-08 02:36:01 +01:00
|
|
|
const currentGPSLocation = new UIEventSource<Coordinates>(undefined, "GPS-coordinate")
|
2021-11-04 02:16:07 +01:00
|
|
|
const leafletMap = state.leafletMap
|
2021-07-23 15:56:22 +02:00
|
|
|
const hasLocation = currentGPSLocation.map(
|
|
|
|
(location) => location !== undefined
|
|
|
|
);
|
|
|
|
const previousLocationGrant = LocalStorageSource.Get(
|
|
|
|
"geolocation-permissions"
|
|
|
|
);
|
|
|
|
const isActive = new UIEventSource<boolean>(false);
|
2021-07-24 02:32:33 +02:00
|
|
|
const isLocked = new UIEventSource<boolean>(false);
|
2021-08-19 23:41:48 +02:00
|
|
|
const permission = new UIEventSource<string>("");
|
|
|
|
const lastClick = new UIEventSource<Date>(undefined);
|
|
|
|
const lastClickWithinThreeSecs = lastClick.map(lastClick => {
|
|
|
|
if (lastClick === undefined) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
const timeDiff = (new Date().getTime() - lastClick.getTime()) / 1000
|
|
|
|
return timeDiff <= 3
|
|
|
|
})
|
|
|
|
lastClick.addCallbackAndRunD(_ => {
|
|
|
|
window.setTimeout(() => {
|
|
|
|
if (lastClickWithinThreeSecs.data) {
|
|
|
|
lastClick.ping()
|
|
|
|
}
|
|
|
|
}, 500)
|
|
|
|
})
|
2021-07-23 15:56:22 +02:00
|
|
|
super(
|
|
|
|
hasLocation.map(
|
2021-07-24 02:32:33 +02:00
|
|
|
(hasLocationData) => {
|
2021-08-19 23:41:48 +02:00
|
|
|
if (permission.data === "denied") {
|
|
|
|
return Svg.location_refused_svg();
|
|
|
|
}
|
2021-07-13 14:39:50 +02:00
|
|
|
|
2021-08-19 23:41:48 +02:00
|
|
|
if (!isActive.data) {
|
|
|
|
return Svg.location_empty_svg()
|
|
|
|
}
|
|
|
|
if (!hasLocationData) {
|
|
|
|
// Position not yet found but we are active: we spin to indicate activity
|
|
|
|
const icon = Svg.location_empty_svg()
|
|
|
|
icon.SetStyle("animation: spin 4s linear infinite;")
|
|
|
|
return icon;
|
|
|
|
}
|
2021-07-24 02:32:33 +02:00
|
|
|
if (isLocked.data) {
|
2021-08-19 23:41:48 +02:00
|
|
|
return Svg.location_locked_svg()
|
2021-07-23 15:56:22 +02:00
|
|
|
}
|
2021-08-19 23:41:48 +02:00
|
|
|
if (lastClickWithinThreeSecs.data) {
|
|
|
|
return Svg.location_unlocked_svg()
|
|
|
|
}
|
|
|
|
|
|
|
|
// We have a location, so we show a dot in the center
|
|
|
|
return Svg.location_svg();
|
2021-07-23 15:56:22 +02:00
|
|
|
},
|
2021-08-19 23:41:48 +02:00
|
|
|
[isActive, isLocked, permission, lastClickWithinThreeSecs]
|
2021-07-23 15:56:22 +02:00
|
|
|
)
|
|
|
|
);
|
2021-07-27 21:02:30 +02:00
|
|
|
this.SetClass("mapcontrol")
|
2021-07-23 15:56:22 +02:00
|
|
|
this._isActive = isActive;
|
2021-07-24 02:32:33 +02:00
|
|
|
this._isLocked = isLocked;
|
2021-08-19 23:41:48 +02:00
|
|
|
this._permission = permission
|
2021-07-23 15:56:22 +02:00
|
|
|
this._previousLocationGrant = previousLocationGrant;
|
|
|
|
this._currentGPSLocation = currentGPSLocation;
|
|
|
|
this._leafletMap = leafletMap;
|
2021-11-04 02:16:07 +01:00
|
|
|
this._layoutToUse = state.layoutToUse;
|
2021-07-23 15:56:22 +02:00
|
|
|
this._hasLocation = hasLocation;
|
|
|
|
const self = this;
|
2021-07-19 16:23:13 +02:00
|
|
|
|
2021-07-23 15:56:22 +02:00
|
|
|
const currentPointer = this._isActive.map(
|
|
|
|
(isActive) => {
|
|
|
|
if (isActive && !self._hasLocation.data) {
|
|
|
|
return "cursor-wait";
|
|
|
|
}
|
|
|
|
return "cursor-pointer";
|
|
|
|
},
|
|
|
|
[this._hasLocation]
|
|
|
|
);
|
|
|
|
currentPointer.addCallbackAndRun((pointerClass) => {
|
2021-10-14 17:39:31 +02:00
|
|
|
self.RemoveClass("cursor-wait")
|
|
|
|
self.RemoveClass("cursor-pointer")
|
2021-07-23 15:56:22 +02:00
|
|
|
self.SetClass(pointerClass);
|
|
|
|
});
|
2021-07-19 16:23:13 +02:00
|
|
|
|
2021-08-19 23:41:48 +02:00
|
|
|
|
2021-07-24 02:32:33 +02:00
|
|
|
this.onClick(() => {
|
2021-08-19 23:41:48 +02:00
|
|
|
/*
|
|
|
|
* If the previous click was within 3 seconds (and we have an active location), then we lock to the location
|
|
|
|
*/
|
2021-07-24 02:32:33 +02:00
|
|
|
if (self._hasLocation.data) {
|
2021-08-19 23:41:48 +02:00
|
|
|
if (isLocked.data) {
|
|
|
|
isLocked.setData(false)
|
|
|
|
} else if (lastClick.data !== undefined) {
|
|
|
|
const timeDiff = (new Date().getTime() - lastClick.data.getTime()) / 1000
|
|
|
|
if (timeDiff <= 3) {
|
|
|
|
isLocked.setData(true)
|
|
|
|
lastClick.setData(undefined)
|
|
|
|
} else {
|
|
|
|
lastClick.setData(new Date())
|
|
|
|
}
|
2021-09-09 00:05:51 +02:00
|
|
|
} else {
|
2021-08-19 23:41:48 +02:00
|
|
|
lastClick.setData(new Date())
|
|
|
|
}
|
2021-07-24 02:32:33 +02:00
|
|
|
}
|
2021-08-19 23:41:48 +02:00
|
|
|
|
2021-08-26 12:15:26 +02:00
|
|
|
self.init(true, true);
|
2021-07-24 02:32:33 +02:00
|
|
|
});
|
2021-09-09 00:05:51 +02:00
|
|
|
|
2021-08-26 12:15:26 +02:00
|
|
|
const latLonGiven = QueryParameters.wasInitialized("lat") && QueryParameters.wasInitialized("lon")
|
2021-09-09 00:05:51 +02:00
|
|
|
|
2021-11-04 02:16:07 +01:00
|
|
|
this.init(false, !latLonGiven && state.featureSwitchGeolocation.data);
|
2021-07-19 16:23:13 +02:00
|
|
|
|
2021-08-19 23:41:48 +02:00
|
|
|
isLocked.addCallbackAndRunD(isLocked => {
|
|
|
|
if (isLocked) {
|
|
|
|
leafletMap.data?.dragging?.disable()
|
|
|
|
} else {
|
|
|
|
leafletMap.data?.dragging?.enable()
|
|
|
|
}
|
|
|
|
})
|
2021-09-09 00:05:51 +02:00
|
|
|
|
2021-11-08 02:36:01 +01:00
|
|
|
this.currentLocation = state.currentUserLocation
|
2021-07-23 15:56:22 +02:00
|
|
|
this._currentGPSLocation.addCallback((location) => {
|
|
|
|
self._previousLocationGrant.setData("granted");
|
2021-07-19 16:23:13 +02:00
|
|
|
|
2021-11-03 00:44:53 +01:00
|
|
|
const feature = {
|
|
|
|
"type": "Feature",
|
|
|
|
properties: {
|
2021-11-08 02:36:01 +01:00
|
|
|
id: "gps",
|
2021-11-07 16:34:51 +01:00
|
|
|
"user:location": "yes",
|
2021-11-08 02:36:01 +01:00
|
|
|
...location
|
2021-11-03 00:44:53 +01:00
|
|
|
},
|
2021-11-07 16:34:51 +01:00
|
|
|
geometry: {
|
|
|
|
type: "Point",
|
2021-11-03 00:44:53 +01:00
|
|
|
coordinates: [location.longitude, location.latitude],
|
|
|
|
}
|
|
|
|
}
|
2021-11-07 16:34:51 +01:00
|
|
|
|
2021-11-03 00:44:53 +01:00
|
|
|
self.currentLocation.features.setData([{feature, freshness: new Date()}])
|
2021-11-07 16:34:51 +01:00
|
|
|
|
2021-07-23 15:56:22 +02:00
|
|
|
const timeSinceRequest =
|
|
|
|
(new Date().getTime() - (self._lastUserRequest?.getTime() ?? 0)) / 1000;
|
|
|
|
if (timeSinceRequest < 30) {
|
|
|
|
self.MoveToCurrentLoction(16);
|
2021-07-24 02:32:33 +02:00
|
|
|
} else if (self._isLocked.data) {
|
|
|
|
self.MoveToCurrentLoction();
|
2021-07-23 15:56:22 +02:00
|
|
|
}
|
2021-07-19 16:23:13 +02:00
|
|
|
|
2021-07-23 15:56:22 +02:00
|
|
|
});
|
2021-11-07 16:34:51 +01:00
|
|
|
|
2020-06-28 02:42:22 +02:00
|
|
|
}
|
2021-07-19 16:23:13 +02:00
|
|
|
|
2021-11-04 02:16:07 +01:00
|
|
|
private init(askPermission: boolean, zoomToLocation: boolean) {
|
2021-07-24 02:32:33 +02:00
|
|
|
const self = this;
|
2021-07-13 14:39:50 +02:00
|
|
|
|
2021-07-24 02:32:33 +02:00
|
|
|
if (self._isActive.data) {
|
|
|
|
self.MoveToCurrentLoction(16);
|
|
|
|
return;
|
|
|
|
}
|
2021-07-13 14:39:50 +02:00
|
|
|
|
2021-07-23 15:56:22 +02:00
|
|
|
try {
|
|
|
|
navigator?.permissions
|
|
|
|
?.query({name: "geolocation"})
|
|
|
|
?.then(function (status) {
|
2021-09-22 16:07:56 +02:00
|
|
|
console.log("Geolocation permission is ", status.state);
|
2021-07-23 15:56:22 +02:00
|
|
|
if (status.state === "granted") {
|
2021-11-04 02:16:07 +01:00
|
|
|
self.StartGeolocating(zoomToLocation);
|
2021-07-23 15:56:22 +02:00
|
|
|
}
|
|
|
|
self._permission.setData(status.state);
|
|
|
|
status.onchange = function () {
|
|
|
|
self._permission.setData(status.state);
|
|
|
|
};
|
|
|
|
});
|
|
|
|
} catch (e) {
|
|
|
|
console.error(e);
|
|
|
|
}
|
2021-05-18 19:48:20 +02:00
|
|
|
|
2021-07-23 15:56:22 +02:00
|
|
|
if (askPermission) {
|
2021-11-04 02:16:07 +01:00
|
|
|
self.StartGeolocating(zoomToLocation);
|
2021-07-23 15:56:22 +02:00
|
|
|
} else if (this._previousLocationGrant.data === "granted") {
|
|
|
|
this._previousLocationGrant.setData("");
|
2021-11-04 02:16:07 +01:00
|
|
|
self.StartGeolocating(zoomToLocation);
|
2021-07-23 15:56:22 +02:00
|
|
|
}
|
2021-07-19 16:23:13 +02:00
|
|
|
}
|
|
|
|
|
2021-07-26 09:46:54 +02:00
|
|
|
private MoveToCurrentLoction(targetZoom?: number) {
|
2021-07-23 15:56:22 +02:00
|
|
|
const location = this._currentGPSLocation.data;
|
|
|
|
this._lastUserRequest = undefined;
|
2021-07-19 16:23:13 +02:00
|
|
|
|
2021-07-23 15:56:22 +02:00
|
|
|
if (
|
2021-11-03 00:44:53 +01:00
|
|
|
this._currentGPSLocation.data.latitude === 0 &&
|
|
|
|
this._currentGPSLocation.data.longitude === 0
|
2021-07-23 15:56:22 +02:00
|
|
|
) {
|
|
|
|
console.debug("Not moving to GPS-location: it is null island");
|
|
|
|
return;
|
|
|
|
}
|
2021-01-02 21:03:40 +01:00
|
|
|
|
2021-07-23 15:56:22 +02:00
|
|
|
// We check that the GPS location is not out of bounds
|
2021-09-29 23:59:56 +02:00
|
|
|
const b = this._layoutToUse.lockLocation;
|
2021-07-23 15:56:22 +02:00
|
|
|
let inRange = true;
|
|
|
|
if (b) {
|
|
|
|
if (b !== true) {
|
|
|
|
// B is an array with our locklocation
|
|
|
|
inRange =
|
2021-11-03 00:44:53 +01:00
|
|
|
b[0][0] <= location.latitude &&
|
|
|
|
location.latitude <= b[1][0] &&
|
|
|
|
b[0][1] <= location.longitude &&
|
|
|
|
location.longitude <= b[1][1];
|
2021-07-23 15:56:22 +02:00
|
|
|
}
|
|
|
|
}
|
|
|
|
if (!inRange) {
|
|
|
|
console.log(
|
|
|
|
"Not zooming to GPS location: out of bounds",
|
|
|
|
b,
|
2021-11-03 00:44:53 +01:00
|
|
|
location
|
2021-07-23 15:56:22 +02:00
|
|
|
);
|
|
|
|
} else {
|
2021-11-03 00:55:38 +01:00
|
|
|
const currentZoom = this._leafletMap.data.getZoom()
|
2021-11-07 16:34:51 +01:00
|
|
|
|
2021-11-03 00:55:38 +01:00
|
|
|
this._leafletMap.data.setView([location.latitude, location.longitude], Math.max(targetZoom ?? 0, currentZoom));
|
2021-07-23 15:56:22 +02:00
|
|
|
}
|
2021-07-19 16:23:13 +02:00
|
|
|
}
|
2021-05-29 20:30:36 +02:00
|
|
|
|
2021-07-23 15:56:22 +02:00
|
|
|
private StartGeolocating(zoomToGPS = true) {
|
|
|
|
const self = this;
|
2021-05-29 20:30:36 +02:00
|
|
|
|
2021-07-23 15:56:22 +02:00
|
|
|
this._lastUserRequest = zoomToGPS ? new Date() : new Date(0);
|
|
|
|
if (self._permission.data === "denied") {
|
|
|
|
self._previousLocationGrant.setData("");
|
2021-08-19 23:41:48 +02:00
|
|
|
self._isActive.setData(false)
|
2021-07-23 15:56:22 +02:00
|
|
|
return "";
|
|
|
|
}
|
|
|
|
if (this._currentGPSLocation.data !== undefined) {
|
|
|
|
this.MoveToCurrentLoction(16);
|
|
|
|
}
|
2021-05-29 20:30:36 +02:00
|
|
|
|
2021-07-24 02:32:33 +02:00
|
|
|
if (self._isActive.data) {
|
|
|
|
return;
|
2020-06-28 02:42:22 +02:00
|
|
|
}
|
2021-07-24 02:32:33 +02:00
|
|
|
self._isActive.setData(true);
|
2020-07-31 01:45:54 +02:00
|
|
|
|
2021-07-24 02:32:33 +02:00
|
|
|
navigator.geolocation.watchPosition(
|
|
|
|
function (position) {
|
2021-11-03 00:44:53 +01:00
|
|
|
self._currentGPSLocation.setData(position.coords);
|
2021-07-24 02:32:33 +02:00
|
|
|
},
|
|
|
|
function () {
|
|
|
|
console.warn("Could not get location with navigator.geolocation");
|
2021-07-26 09:46:54 +02:00
|
|
|
},
|
|
|
|
{
|
|
|
|
enableHighAccuracy: true
|
2021-07-24 02:32:33 +02:00
|
|
|
}
|
|
|
|
);
|
2020-06-28 02:42:22 +02:00
|
|
|
}
|
2021-07-19 16:23:13 +02:00
|
|
|
}
|