More extensive debugging output

[~andy/gtk] / gtk / gtkmenubar.c

diff --git a/gtk/gtkmenubar.c b/gtk/gtkmenubar.c
index 49c7ec6284188221b70a84132725e6270e248bc9..8bd5e8221dcadfdc356978061942b397849b2d01 100644 (file)
--- a/gtk/gtkmenubar.c
+++ b/gtk/gtkmenubar.c
@@ -200,7 +200,7 @@ gtk_menu_bar_size_allocate (GtkWidget     *widget,
       child_allocation.y = (GTK_CONTAINER (menu_bar)->border_width +
                            widget->style->klass->ythickness +
                            BORDER_SPACING);
-      child_allocation.height = allocation->height - child_allocation.y * 2;
+      child_allocation.height = MAX (0, allocation->height - child_allocation.y * 2);
 
       children = menu_shell->children;
       while (children)