From f487b8cd039068612ce148595d0781e16967add8 Mon Sep 17 00:00:00 2001 From: Wim Brand Date: Fri, 30 Jan 2026 17:17:03 +0100 Subject: [PATCH] Reduce icon size in menu --- svelte/src/lib/HighlightCurrentPage.ts | 4 ++-- svelte/src/wrap/Bookmarks.svelte | 6 +++--- svelte/src/wrap/MainMenu.svelte | 18 +++++++++--------- svelte/src/wrap/Tree.svelte | 10 +++++----- 4 files changed, 19 insertions(+), 19 deletions(-) diff --git a/svelte/src/lib/HighlightCurrentPage.ts b/svelte/src/lib/HighlightCurrentPage.ts index a9b67b8..92aeab0 100644 --- a/svelte/src/lib/HighlightCurrentPage.ts +++ b/svelte/src/lib/HighlightCurrentPage.ts @@ -1,5 +1,5 @@ import { global_navigator } from "filesystem/FSNavigator" -import { current_page_store, type Tab } from "wrap/RouterStore" +import { current_page_store } from "wrap/RouterStore" export const highlight_current_page = (node: HTMLAnchorElement) => { const set_highlight = () => { @@ -19,7 +19,7 @@ export const highlight_current_page = (node: HTMLAnchorElement) => { set_highlight() // Set up a listener with the page router to catch navigation events - const unsub = current_page_store.subscribe((page: Tab) => { set_highlight() }) + const unsub = current_page_store.subscribe(() => { set_highlight() }) const unsub2 = global_navigator.subscribe(() => { set_highlight() }) return { destroy() { diff --git a/svelte/src/wrap/Bookmarks.svelte b/svelte/src/wrap/Bookmarks.svelte index 3895aaa..da251ac 100644 --- a/svelte/src/wrap/Bookmarks.svelte +++ b/svelte/src/wrap/Bookmarks.svelte @@ -16,19 +16,19 @@ const toggle_edit = () => {
Bookmarks
{#each $bookmarks_store as bookmark}
- {bookmark.icon} + {bookmark.icon} {bookmark.label} {#if editing} {/if}
diff --git a/svelte/src/wrap/MainMenu.svelte b/svelte/src/wrap/MainMenu.svelte index ad263a4..0e5252c 100644 --- a/svelte/src/wrap/MainMenu.svelte +++ b/svelte/src/wrap/MainMenu.svelte @@ -37,12 +37,12 @@ onMount(async () => {