diff src/w32menu.c @ 42584:f4d03465ebdc

(w32_menu_display_help): Revert last change.
author Jason Rumney <jasonr@gnu.org>
date Sun, 06 Jan 2002 21:37:18 +0000
parents b575cbf7f94e
children ac09ecabe088
line wrap: on
line diff
--- 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);
 	}