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 = () => {