changeset 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 91623c738368
children e4e10eb73b48
files src/w32menu.c
diffstat 1 files changed, 0 insertions(+), 2 deletions(-) [+]
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);
 	}