From 95aa62cdd2952ac475f6207c7e1a4606bf0fd8b6 Mon Sep 17 00:00:00 2001 From: Trey Wallis <40307803+trey-wallis@users.noreply.github.com> Date: Wed, 1 May 2024 02:21:44 -0600 Subject: [PATCH] fix: reduce border thickness divider --- .../properties-filter-app/components/group-edit-view.svelte | 2 +- src/svelte/shared/components/divider.svelte | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/src/svelte/properties-filter-app/components/group-edit-view.svelte b/src/svelte/properties-filter-app/components/group-edit-view.svelte index 77cbdf1..8f27a4e 100644 --- a/src/svelte/properties-filter-app/components/group-edit-view.svelte +++ b/src/svelte/properties-filter-app/components/group-edit-view.svelte @@ -32,7 +32,7 @@ on:change={handleGroupNameChange} /> - +
{#if selectedGroup.filters.length > 0} export let direction: "horizontal" | "vertical" = "horizontal"; + export let borderWidth: string = "var(--hr-thickness)"; $: className = `vault-explorer-divider vault-explorer-divider--${direction}`; -
+