- attivita

- gestione degli script sul server
 - creato websocket per interagire con gli script del server.
This commit is contained in:
Surya Paolo
2024-08-29 23:31:54 +02:00
parent 79e874e3e0
commit 8f4ff8ff9c
39 changed files with 1373 additions and 303 deletions

View File

@@ -0,0 +1,16 @@
import L from 'leaflet';
// Estendi il prototipo del marker
L.Marker.prototype._animateZoom = function (opt: { zoom: number; center: L.LatLng }) {
// Assicurati che _map esista
if (!this._map) {
return;
}
// Calcola la nuova posizione del marker
const pos = this._map._latLngToNewLayerPoint(this._latlng, opt.zoom, opt.center).round();
// Imposta la posizione del marker
this._setPos(pos);
};