Add new options in wmfsrc

wmfs2/src/config.c

@@ -64,7 +64,6 @@ config_theme(void)
           t->client_titlebar_width = fetch_opt_first(ks[i], "12", "client_titlebar_width").num;
           t->client_border_width   = fetch_opt_first(ks[i], "1", "client_border_width").num;
 
-
           SLIST_INSERT_HEAD(&W->h.theme, t, next);
      }
 

wmfs2/src/infobar.c

@@ -235,6 +235,8 @@ infobar_free(Scr33n *s)
      while(!SLIST_EMPTY(&s->infobars))
      {
           i = SLIST_FIRST(&s->infobars);
+
+          /* SLIST_REMOVE is done by infobar_remove */
           infobar_remove(i);
      }
 }

wmfs2/wmfsrc2

@@ -22,6 +22,15 @@
      tags_border_color = "#888888"
      tags_border_width = 1
 
+     # Frame / Client
+     client_normal_fg = "#CCCCCC"
+     client_normal_bg = "#222222"
+     client_sel_fg = "#222222"
+     client_sel_bg = "#CCCCCC"
+     frame_bg = "#555555"
+     client_titlebar_width = 12 #useless for now
+     client_border_width = 1
+
    [/theme]
 
    [theme]