(w32_menu_display_help): Revert last change.

2 files changed, 6 insertions, 2 deletions

diff --git a/src/ChangeLog b/src/ChangeLog
index 7206d6f7e03..ef7a06de3c9 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,9 @@
+2002-01-06  Jason Rumney  <jasonr@gnu.org>
+
+        * w32menu.c (w32_menu_display_help): Revert last change.
+
+        * xmenu.c (menu_highlight_callback): Revert last change.
+
 2002-01-06  Andreas Schwab  <schwab@suse.de>
 
         * insdel.c (make_gap_larger): Make sure buffer size does not
diff --git a/src/w32menu.c b/src/w32menu.c
index 2fe9a63ad5b..03ffb301f01 100644
--- a/src/w32menu.c
+++ b/src/w32menu.c
@@ -2226,8 +2226,6 @@ w32_menu_display_help (HWND owner, HMENU menu, UINT item, UINT flags)
          Windows code on the non-toolkit version.  */
       if (f)
         {
-          Fx_hide_tip ();
-
           XSETFRAME (frame, f);
           kbd_buffer_store_help_event (frame, help);
         }