From 8c478f5e4e7116885fe77541878c7da444693383 Mon Sep 17 00:00:00 2001 From: Pieter Vander Vennet Date: Wed, 23 Apr 2025 10:43:28 +0200 Subject: [PATCH] UX: level selector now has an "All"-level --- src/UI/BigComponents/LevelSelector.svelte | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/src/UI/BigComponents/LevelSelector.svelte b/src/UI/BigComponents/LevelSelector.svelte index 3173ef248..1a1ca1129 100644 --- a/src/UI/BigComponents/LevelSelector.svelte +++ b/src/UI/BigComponents/LevelSelector.svelte @@ -11,6 +11,13 @@ export let zoom: Store const maxZoom = 16 + let floorWithAll = floors.mapD(floors => { + if (floors.length > 1) { + return [...floors, "All"] + } + return floors + }) + let selectedFloor: UIEventSource = new UIEventSource(undefined) selectedFloor.stabilized(5).map( @@ -19,6 +26,8 @@ // Only a single floor is visible -> disable the 'level' global filter // OR we might have zoomed out to much ant want to show all layerState.setLevelFilter(undefined) + } else if (floor === "All") { + layerState.setLevelFilter(undefined) } else { layerState.setLevelFilter(floor) } @@ -28,5 +37,5 @@ {#if $zoom >= maxZoom} - + {/if}