From 7ef0b23a69c70ed3d7327cc4e56215e3cc69cb1b Mon Sep 17 00:00:00 2001
From: Arkerthan <arkerthan@gmail.com>
Date: Mon, 10 Aug 2020 20:42:42 +0200
Subject: [PATCH] fix theme loading
---
src/gui/theming.js | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/gui/theming.js b/src/gui/theming.js
index 6b0a083578c..903f0ea5fe7 100644
--- a/src/gui/theming.js
+++ b/src/gui/theming.js
@@ -82,7 +82,7 @@ App.UI.Theme = (function() {
theme.setAttribute("type", "text/css");
theme.setAttribute("href", `./${filename}`);
// make it unique to force reloading instead of using the cached version
- devTheme.href += `?id=${Date.now()}`;
+ theme.href += `?id=${Date.now()}`;
document.head.appendChild(theme);
return theme;
}
--
GitLab