free the event that was returned to us by gtk_get_current_event

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

diff --git a/gtk/gtkmenuitem.c b/gtk/gtkmenuitem.c
index 1431210670663a5b3835aa398252ca38daea4ded..a42893cd4ecbdf7b70225cc41cde535ec723dd12 100644 (file)
--- a/gtk/gtkmenuitem.c
+++ b/gtk/gtkmenuitem.c
@@ -545,6 +545,7 @@ gtk_real_menu_item_select (GtkItem *item)
                                            menu_item);
       else
        gtk_menu_item_select_timeout (menu_item);
+      if(event) gdk_event_free(event);
     }
   
   gtk_widget_set_state (GTK_WIDGET (menu_item), GTK_STATE_PRELIGHT);
@@ -577,6 +578,7 @@ gtk_real_menu_item_deselect (GtkItem *item)
       etime = event ? gdk_event_get_time (event) : GDK_CURRENT_TIME;
       if (etime > last_submenu_deselect_time)
        last_submenu_deselect_time = etime;
+      if(event) gdk_event_free(event);
     }
 
   gtk_widget_set_state (GTK_WIDGET (menu_item), GTK_STATE_NORMAL);