Forgot to remove debug code.

diff --git a/src/xmenu.c b/src/xmenu.c
index af26e2911875885b623f84ff722820fb1118bb4b..b587fcf9e106fba6211b8338aa9c58dd75a6e077 100644 (file)
--- a/src/xmenu.c
+++ b/src/xmenu.c
@@ -1464,8 +1464,6 @@ find_and_call_menu_selection (f, menu_bar_items_used, vector, client_data)
   prefix = Qnil;
   i = 0;
 
-  while (gtk_events_pending ())
-    gtk_main_iteration ();
   while (i < menu_bar_items_used)
     {
       if (EQ (XVECTOR (vector)->contents[i], Qnil))