Update class name: Coordinates changed to GeoLocationCoordinates in this typescript version

This commit is contained in:
Pieter Vander Vennet 2022-08-24 02:05:37 +02:00
parent 3fd5343e47
commit 234129ad32

View file

@ -44,7 +44,7 @@ export default class GeoLocationHandler extends VariableUiElement {
* @private * @private
*/ */
private readonly _hasLocation: Store<boolean>; private readonly _hasLocation: Store<boolean>;
private readonly _currentGPSLocation: UIEventSource<Coordinates>; private readonly _currentGPSLocation: UIEventSource<GeolocationCoordinates>;
/** /**
* Kept in order to update the marker * Kept in order to update the marker
* @private * @private
@ -76,7 +76,7 @@ export default class GeoLocationHandler extends VariableUiElement {
featureSwitchGeolocation: UIEventSource<boolean> featureSwitchGeolocation: UIEventSource<boolean>
} }
) { ) {
const currentGPSLocation = new UIEventSource<Coordinates>(undefined, "GPS-coordinate") const currentGPSLocation = new UIEventSource<GeolocationCoordinates>(undefined, "GPS-coordinate")
const leafletMap = state.leafletMap const leafletMap = state.leafletMap
const initedAt = new Date() const initedAt = new Date()
let autozoomDone = false; let autozoomDone = false;