- Marker-Icons werden dynamisch aktualisiert, ohne dass Blinken oder redundantes Rendering auftritt. - ToolTip-Werte der GMA-Stationen aktualisieren sich in Echtzeit basierend auf neuen Messdaten. - Verbesserte Performance durch gezielte Updates nur bei Datenänderungen.
6 lines
225 B
JavaScript
6 lines
225 B
JavaScript
// /config/settings.js
|
|
// Definieren der grundlegenden Umgebungseinstellungen und Konfigurationen der Karte
|
|
export const MAP_VERSION = "1.0.1";
|
|
//export const STANDARD_SIDE_MENU = true;
|
|
//export const FULL_SIDE_MENU = false;
|