include padding in the menu header min width

diff --git a/openbox/menuframe.c b/openbox/menuframe.c
index 654cf2b..6b3e729 100644 (file)
--- a/openbox/menuframe.c
+++ b/openbox/menuframe.c
@@ -731,7 +731,7 @@ void menu_frame_render(ObMenuFrame *self)
             if (e->entry->data.separator.label != NULL) {
                 e->a_text_title->texture[0].data.text.string =
                     e->entry->data.separator.label;
-                tw = RrMinWidth(e->a_text_title);
+                tw = RrMinWidth(e->a_text_title) + 2*ob_rr_theme->paddingx;
                 tw = MIN(tw, MAX_MENU_WIDTH);
                 th = ob_rr_theme->menu_title_height +
                     (ob_rr_theme->mbwidth - PADDING) *2;