From 4fe1842d060c06dcbff3da8fc203053f349e5a9f Mon Sep 17 00:00:00 2001
From: "Richard M. Stallman" <rms@gnu.org>
Date: Fri, 4 Jan 2002 22:18:17 +0000
Subject: [PATCH] (menu_highlight_callback): Hide any tooltip window.

---
 src/xmenu.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/xmenu.c b/src/xmenu.c
index b33e8f0e591..b82dd6aa540 100644
--- 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);
     }
-- 
2.39.2