From be7edee98b498de3932c9ef38335b5a89217c859 Mon Sep 17 00:00:00 2001
From: Dana Jansens <danakj@orodu.net>
Date: Sat, 2 Jun 2007 21:04:34 +0000
Subject: [PATCH] let the menu border be different than frame border..

---
 render/theme.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/render/theme.c b/render/theme.c
index 3c5d45bc..e32cad22 100644
--- 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;
-- 
2.34.1