# HG changeset patch
# User Jason Rumney <jasonr@gnu.org>
# Date 1010353038 0
# Node ID f4d03465ebdcfa15517fef44aedf40c211200858
# Parent  91623c7383680fe8685e2fba1cbbbbe8f4076856
(w32_menu_display_help): Revert last change.

diff -r 91623c738368 -r f4d03465ebdc src/w32menu.c
--- a/src/w32menu.c	Sun Jan 06 21:35:44 2002 +0000
+++ b/src/w32menu.c	Sun Jan 06 21:37:18 2002 +0000
@@ -2226,8 +2226,6 @@
 	 Windows code on the non-toolkit version.  */
       if (f)
 	{
-	  Fx_hide_tip ();
-
 	  XSETFRAME (frame, f);
 	  kbd_buffer_store_help_event (frame, help);
 	}