From 604b0e56985b24794b5046f2a1ae76e62fb92da9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christian=20M=C3=BCller?= <chmllr@me.com>
Date: Wed, 24 Dec 2014 11:49:50 +0100
Subject: [PATCH] bugfix

---
 resources/public/js/themes.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/public/js/themes.js b/resources/public/js/themes.js
index 117dd58..8fe81ea 100644
--- 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);
 }