# HG changeset patch
# User Jason Rumney <jasonr@gnu.org>
# Date 1010352944 0
# Node ID 91623c7383680fe8685e2fba1cbbbbe8f4076856
# Parent  68d0ce9feb126519da8445ef4acd9fd616279321
(menu_highlight_callback): Revert last change.

diff -r 68d0ce9feb12 -r 91623c738368 src/xmenu.c
--- a/src/xmenu.c	Sun Jan 06 20:47:00 2002 +0000
+++ b/src/xmenu.c	Sun Jan 06 21:35:44 2002 +0000
@@ -1191,8 +1191,6 @@
   f = menubar_id_to_frame (id);
   if (f)
     {
-      Fx_hide_tip ();
-
       XSETFRAME (frame, f);
       kbd_buffer_store_help_event (frame, help);
     }