From e120d19dc8b066cf21fdd8d80da9e7286a00d9ae Mon Sep 17 00:00:00 2001
From: Philipp Hofer <philipp@hofer.link>
Date: Wed, 13 Aug 2025 11:34:54 +0200
Subject: [PATCH] even nicer redirect

---
 static/serve/theme.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/static/serve/theme.js b/static/serve/theme.js
index 31640e7..3859b57 100644
--- a/static/serve/theme.js
+++ b/static/serve/theme.js
@@ -13,7 +13,7 @@ function setLanguageCookie() {
       // set lang, if lang attribute doesn't exit set default en
       let lang = langToggle.getAttribute('lang') ? langToggle.getAttribute('lang') : 'en';
       document.cookie = "language=" + lang;
-      window.location.href = window.location.href;
+      window.location.assign(window.location.href);
     })
 }