2020-09-27 22:48:43 +02:00
|
|
|
import * as L from "leaflet"
|
2021-01-04 04:06:21 +01:00
|
|
|
import {UIEventSource} from "../../Logic/UIEventSource";
|
|
|
|
import Loc from "../../Models/Loc";
|
|
|
|
import BaseLayer from "../../Models/BaseLayer";
|
2021-06-12 02:58:32 +02:00
|
|
|
import BaseUIElement from "../BaseUIElement";
|
2021-07-10 21:41:56 +02:00
|
|
|
import {FixedUiElement} from "../Base/FixedUiElement";
|
2020-06-24 00:35:19 +02:00
|
|
|
|
2020-07-22 14:46:43 +02:00
|
|
|
export class Basemap {
|
2020-06-24 00:35:19 +02:00
|
|
|
|
|
|
|
|
2021-01-02 21:03:40 +01:00
|
|
|
public readonly map: L.Map;
|
2020-06-24 00:35:19 +02:00
|
|
|
|
2020-06-29 03:12:44 +02:00
|
|
|
constructor(leafletElementId: string,
|
2021-01-02 16:04:16 +01:00
|
|
|
location: UIEventSource<Loc>,
|
2021-01-02 19:09:49 +01:00
|
|
|
currentLayer: UIEventSource<BaseLayer>,
|
2021-06-18 14:30:49 +02:00
|
|
|
lastClickLocation?: UIEventSource<{ lat: number, lon: number }>,
|
|
|
|
extraAttribution?: BaseUIElement) {
|
2021-06-23 02:15:28 +02:00
|
|
|
|
|
|
|
console.log("Currentlayer is" ,currentLayer, currentLayer.data, currentLayer.data?.id)
|
|
|
|
let previousLayer = currentLayer.data.layer();
|
|
|
|
|
2020-06-27 03:06:51 +02:00
|
|
|
this.map = L.map(leafletElementId, {
|
2020-08-26 20:11:43 +02:00
|
|
|
center: [location.data.lat ?? 0, location.data.lon ?? 0],
|
|
|
|
zoom: location.data.zoom ?? 2,
|
2021-06-23 02:15:28 +02:00
|
|
|
layers: [previousLayer],
|
2021-06-12 02:58:32 +02:00
|
|
|
zoomControl: false,
|
2021-06-18 14:30:49 +02:00
|
|
|
attributionControl: extraAttribution !== undefined
|
2020-06-24 00:35:19 +02:00
|
|
|
});
|
2020-07-22 15:17:29 +02:00
|
|
|
|
2021-01-02 19:09:49 +01:00
|
|
|
|
2020-08-28 03:16:21 +02:00
|
|
|
// Users are not allowed to zoom to the 'copies' on the left and the right, stuff goes wrong then
|
|
|
|
// We give a bit of leeway for people on the edges
|
|
|
|
// Also see: https://www.reddit.com/r/openstreetmap/comments/ih4zzc/mapcomplete_a_new_easytouse_editor/g31ubyv/
|
|
|
|
this.map.setMaxBounds(
|
2021-01-02 19:09:49 +01:00
|
|
|
[[-100, -200], [100, 200]]
|
2020-08-28 03:16:21 +02:00
|
|
|
);
|
2021-06-18 01:25:13 +02:00
|
|
|
|
2020-06-29 03:40:19 +02:00
|
|
|
this.map.attributionControl.setPrefix(
|
2021-07-10 21:41:56 +02:00
|
|
|
"<span id='leaflet-attribution'>A</span>");
|
2020-06-27 03:06:51 +02:00
|
|
|
|
2020-06-24 00:35:19 +02:00
|
|
|
const self = this;
|
2020-06-27 03:06:51 +02:00
|
|
|
|
2021-01-02 19:09:49 +01:00
|
|
|
currentLayer.addCallbackAndRun(layer => {
|
2021-06-23 02:15:28 +02:00
|
|
|
const newLayer = layer.layer()
|
|
|
|
if (newLayer === previousLayer) {
|
2021-01-02 19:09:49 +01:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
if (previousLayer !== undefined) {
|
2021-06-23 02:15:28 +02:00
|
|
|
self.map.removeLayer(previousLayer);
|
2021-01-02 19:09:49 +01:00
|
|
|
}
|
2021-06-23 02:15:28 +02:00
|
|
|
previousLayer = newLayer;
|
|
|
|
self.map.addLayer(newLayer);
|
2021-07-28 18:20:59 +02:00
|
|
|
extraAttribution.AttachTo('leaflet-attribution')
|
|
|
|
|
2021-01-02 19:09:49 +01:00
|
|
|
})
|
|
|
|
|
|
|
|
|
2020-06-24 00:35:19 +02:00
|
|
|
this.map.on("moveend", function () {
|
|
|
|
location.data.zoom = self.map.getZoom();
|
|
|
|
location.data.lat = self.map.getCenter().lat;
|
2020-06-29 03:12:44 +02:00
|
|
|
location.data.lon = self.map.getCenter().lng;
|
2020-06-24 00:35:19 +02:00
|
|
|
location.ping();
|
2020-06-27 03:06:51 +02:00
|
|
|
});
|
2020-09-27 22:48:43 +02:00
|
|
|
|
2021-02-21 03:38:12 +01:00
|
|
|
location.map(loc => loc.zoom)
|
|
|
|
.addCallback(zoom => {
|
|
|
|
if (Math.abs(self.map.getZoom() - zoom) > 0.1) {
|
|
|
|
self.map.setZoom(zoom, {});
|
|
|
|
}
|
|
|
|
})
|
|
|
|
|
2020-06-29 03:12:44 +02:00
|
|
|
this.map.on("click", function (e) {
|
2021-01-02 21:03:40 +01:00
|
|
|
// @ts-ignore
|
2021-06-18 14:30:49 +02:00
|
|
|
lastClickLocation?.setData({lat: e.latlng.lat, lon: e.latlng.lng})
|
2020-06-29 03:12:44 +02:00
|
|
|
});
|
2020-09-05 18:40:16 +02:00
|
|
|
|
|
|
|
this.map.on("contextmenu", function (e) {
|
2021-01-02 21:03:40 +01:00
|
|
|
// @ts-ignore
|
2021-06-18 14:30:49 +02:00
|
|
|
lastClickLocation?.setData({lat: e.latlng.lat, lon: e.latlng.lng});
|
2020-09-05 18:40:16 +02:00
|
|
|
});
|
2021-01-02 19:09:49 +01:00
|
|
|
|
2021-07-10 21:41:56 +02:00
|
|
|
extraAttribution.AttachTo('leaflet-attribution')
|
2021-01-02 19:09:49 +01:00
|
|
|
|
2020-06-24 00:35:19 +02:00
|
|
|
}
|
2020-09-25 21:58:29 +02:00
|
|
|
|
2020-09-27 18:45:37 +02:00
|
|
|
|
2020-06-24 00:35:19 +02:00
|
|
|
}
|