fix: Reload graph after a theme change

This commit is contained in:
Marc 2024-08-31 21:16:15 +02:00
parent 58ffc0c326
commit 040fa37f77

View File

@ -598,4 +598,4 @@ document.addEventListener("nav", async (e: CustomEventMap["nav"]) => {
document.addEventListener("keydown", shortcutHandler)
window.addCleanup(() => document.removeEventListener("keydown", shortcutHandler))
})
})