this is nothing but to add a commit message..

added support for

menu.border.width

!

diff --git a/tools/themetoxml/themetoxml.c b/tools/themetoxml/themetoxml.c
index ace17bf..d5fee29 100644 (file)
--- a/tools/themetoxml/themetoxml.c
+++ b/tools/themetoxml/themetoxml.c
@@ -346,7 +346,7 @@ int main(int argc, char **argv)
         CONT3("dimensions", "window", "border", NUM(i));
         CONT3("dimensions", "menu", "border", NUM(i));
     }
-    if (read_int(db, "menu.border.width", &i))
+    if (read_int(db, "menu.border.width", &i)) 
         CONT3("dimensions", "menu", "border", NUM(i));
 
     if (read_color(db, "border.color", &i, &j, &k)) {