bugfix

11 years ago · 604b0e5698
1 changed files with 1 additions and 1 deletions
--- a/resources/public/js/themes.js
+++ b/resources/public/js/themes.js
@ -109,5 +109,5 @@ fileref.setAttribute("href", fontURL)
 document.getElementsByTagName("head")[0].appendChild(fileref)
 function onLoad () {
-    if(ui.theme != "default" || Object.keys(ui) > 1) less.modifyVars(vars);
+    if(ui.theme != "default" || Object.keys(ui).length > 1) less.modifyVars(vars);
 }