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

---
 src/ChangeLog | 4 ++++
 src/xmenu.c   | 2 ++
 2 files changed, 6 insertions(+)

diff --git a/src/ChangeLog b/src/ChangeLog
index 4bad3889f74..ad54a7032b6 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,7 @@
+2002-01-04  Richard M. Stallman  <rms@gnu.org>
+
+	* xmenu.c (menu_highlight_callback): Hide any tooltip window.
+
 2002-01-03  Richard M. Stallman  <rms@gnu.org>
 
 	* keymap.c (Fcurrent_active_maps): Put the `keymap' property map first.
diff --git a/src/xmenu.c b/src/xmenu.c
index 3df3cab9be4..28a94c8f92c 100644
--- a/src/xmenu.c
+++ b/src/xmenu.c
@@ -1191,6 +1191,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.5