[gtk+] gtkmenu: Really fix menu code

[Javier Jardón <jjardon src gnome org>]

commit 90d9bfe086dc047d56fdf12335243b81b24363aa
Author: Javier Jardón <jjardon gnome org>
Date:   Mon Oct 4 18:48:47 2010 +0200

    gtkmenu: Really fix menu code
    
    Previous patch f0039aa2a4367df95bda1b6cf3d4a735cafb4eb2
    is not correct as it try to fix a bug introduced in commit
    3a10216dd01c8d10df235b88c8942b2fda15689b

 gtk/gtkmenu.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/gtk/gtkmenu.c b/gtk/gtkmenu.c
index dbbf311..068f2a3 100644
--- a/gtk/gtkmenu.c
+++ b/gtk/gtkmenu.c
@@ -5474,7 +5474,7 @@ get_menu_height (GtkMenu *menu)
   gtk_widget_get_allocation (widget, &allocation);
 
   height = allocation.height;
-  height -= gtk_container_get_border_width (GTK_CONTAINER (widget)) + gtk_widget_get_style (widget)->ythickness * 2;
+  height -= (gtk_container_get_border_width (GTK_CONTAINER (widget)) + gtk_widget_get_style (widget)->ythickness) * 2;
 
   if (!menu->tearoff_active)
     {