rename "vertical file list" to "file tree"

This commit is contained in:
vcoppe
2024-12-28 15:52:29 +01:00
parent d7aae81c41
commit 7a80e9e104
13 changed files with 43 additions and 45 deletions

View File

@@ -28,7 +28,7 @@
easing: () => 1
};
const { distanceUnits, elevationProfile, verticalFileView, bottomPanelSize, rightPanelSize } =
const { distanceUnits, elevationProfile, treeFileView, bottomPanelSize, rightPanelSize } =
settings;
let scaleControl = new mapboxgl.ScaleControl({
unit: $distanceUnits
@@ -202,10 +202,7 @@
}
});
$: if (
$map &&
(!$verticalFileView || !$elevationProfile || $bottomPanelSize || $rightPanelSize)
) {
$: if ($map && (!$treeFileView || !$elevationProfile || $bottomPanelSize || $rightPanelSize)) {
$map.resize();
}
</script>