diff src/xmenu.c @ 105903:28d5dd02302d

* xmenu.c (Fx_popup_menu): Hide any tooltip before opening a menu.

--- a/src/xmenu.c	Sun Nov 08 00:09:02 2009 +0000
+++ b/src/xmenu.c	Sun Nov 08 00:14:30 2009 +0000
@@ -502,6 +502,9 @@
     }
 
 #ifdef HAVE_MENUS
+  /* Hide a previous tip, if any.  */
+  Fx_hide_tip ();
+
   /* Display them in a menu.  */
   BLOCK_INPUT;
 
@@ -1805,6 +1808,7 @@
 
   /* Display the menu.  */
   gtk_widget_show_all (menu);
+
   gtk_menu_popup (GTK_MENU (menu), 0, 0, pos_func, &popup_x_y, i,
 		  timestamp > 0 ? timestamp : gtk_get_current_event_time());