let the menu border be different than frame border..

diff --git a/render/theme.c b/render/theme.c
index 3c5d45bca8bf3c13efe883a888a472b4a29a9f56..e32cad224479ee62d3225d6aa6dc902842e768ad 100644 (file)
--- a/render/theme.c
+++ b/render/theme.c
@@ -190,7 +190,6 @@ RrTheme* RrThemeNew(const RrInstance *inst, gchar *name,
     if (!read_int(db, "menu.border.width", &theme->mbwidth) ||
         theme->mbwidth < 0 || theme->mbwidth > 100)
         theme->mbwidth = theme->fbwidth;
-    theme->mbwidth = theme->fbwidth;
     if (!read_int(db, "window.client.padding.width", &theme->cbwidthx) ||
         theme->cbwidthx < 0 || theme->cbwidthx > 100)
         theme->cbwidthx = theme->paddingx;