diff -ur orig-gtk+/gtk/gtkmenubar.c gtk+/gtk/gtkmenubar.c
--- orig-gtk+/gtk/gtkmenubar.c  2003-02-28 02:45:48.000000000 +0100
+++ gtk+/gtk/gtkmenubar.c       2003-04-14 17:12:41.000000000 +0200
@@ -321,7 +321,7 @@
                                              &toggle_size);
          gtk_widget_get_child_requisition (child, &child_requisition);

-          child_requisition.width += toggle_size;
+          child_requisition.width += CHILD_SPACING * 2 + toggle_size;

          /* Support for the right justified help menu */
          if ((children == NULL) && (GTK_IS_MENU_ITEM(child))
@@ -344,7 +344,7 @@
                                                   toggle_size);
              gtk_widget_size_allocate (child, &child_allocation);

-             ltr_x += child_allocation.width + CHILD_SPACING * 2;
+             ltr_x += child_allocation.width;
            }
        }
     }

diff -ur orig-gtk+/gtk/gtkmenuitem.c gtk+/gtk/gtkmenuitem.c
--- orig-gtk+/gtk/gtkmenuitem.c 2003-02-28 02:45:48.000000000 +0100
+++ gtk+/gtk/gtkmenuitem.c      2003-04-14 17:12:58.000000000 +0200
@@ -507,10 +507,10 @@

       child_allocation.x = (GTK_CONTAINER (widget)->border_width +
                             widget->style->xthickness +
-                           BORDER_SPACING);
+                           BORDER_SPACING + 3);
       child_allocation.y = (GTK_CONTAINER (widget)->border_width +
                            widget->style->ythickness);
-      child_allocation.width = MAX (1, (gint)allocation->width - child_allocation.x * 2);
+      child_allocation.width = MAX (1, (gint)allocation->width + 3 - child_allocation.x * 2);
       child_allocation.height = MAX (1, (gint)allocation->height - child_allocation.y * 2);
       if (direction == GTK_TEXT_DIR_LTR)
        child_allocation.x += GTK_MENU_ITEM (widget)->toggle_size;
