Function updateMapProperties

ui/src/components/Map.tsx:45–50

()

  useEffect(() => {
    const updateMapProperties = () => {
      InternalStore.settings(v => {
        setTileserver(v.getTileserverUrl());
        setAttribution(v.getMapAttribution());
      });
    };

    InternalStore.on("change", updateMapProperties);
    updateMapProperties();