(menu_highlight_callback): Hide any tooltip window.

diff --git a/src/xmenu.c b/src/xmenu.c
index b33e8f0e591e56f609ca8e393d24bee97754fe82..b82dd6aa5408ff2b28dba1e585124110cd7baef3 100644 (file)
--- a/src/xmenu.c
+++ b/src/xmenu.c
@@ -1192,6 +1192,8 @@ menu_highlight_callback (widget, id, call_data)
   f = menubar_id_to_frame (id);
   if (f)
     {
+      Fx_hide_tip ();
+
       XSETFRAME (frame, f);
       kbd_buffer_store_help_event (frame, help);
     }