diff --git a/src/gui/theming.js b/src/gui/theming.js index 6b0a083578c1187afed7368628d5cb3dd63d769f..903f0ea5fe7279c9bb21f6bf59b9c30561993427 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; }