From adad11bd14066f4e16815cf1b94cc4b8c8a87261 Mon Sep 17 00:00:00 2001
From: Jason Rumney <jasonr@gnu.org>
Date: Sun, 6 Jan 2002 21:35:44 +0000
Subject: [PATCH] (menu_highlight_callback): Revert last change.

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

diff --git a/src/xmenu.c b/src/xmenu.c
index 28a94c8f92c..3df3cab9be4 100644
--- a/src/xmenu.c
+++ b/src/xmenu.c
@@ -1191,8 +1191,6 @@ 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