From 177697fe0ab48f2d1ed727f6b9cdf4d86056f388 Mon Sep 17 00:00:00 2001 From: Pieter Vander Vennet Date: Sun, 14 May 2023 18:25:32 +0200 Subject: [PATCH] Styling: filterview --- UI/BigComponents/Filterview.svelte | 20 +++++++------------- UI/ThemeViewGUI.svelte | 8 ++++---- index.css | 4 ++-- public/css/index-tailwind-output.css | 16 ++++++++++------ 4 files changed, 23 insertions(+), 25 deletions(-) diff --git a/UI/BigComponents/Filterview.svelte b/UI/BigComponents/Filterview.svelte index ce1b5cf76..6275dcd81 100644 --- a/UI/BigComponents/Filterview.svelte +++ b/UI/BigComponents/Filterview.svelte @@ -19,11 +19,7 @@ export let filteredLayer: FilteredLayer; export let highlightedLayer: Store = new ImmutableStore(undefined); export let zoomlevel: Store = new ImmutableStore(22); let layer: LayerConfig = filteredLayer.layerDef; -let isDisplayed: boolean = filteredLayer.isDisplayed.data; -onDestroy(filteredLayer.isDisplayed.addCallbackAndRunD(d => { - isDisplayed = d; - return false; -})); +let isDisplayed: Store = filteredLayer.isDisplayed; /** * Gets a UIEventSource as boolean for the given option, to be used with a checkbox @@ -52,9 +48,9 @@ $: onDestroy( ); {#if filteredLayer.layerDef.name} -
-