# HG changeset patch
# User Jason Rumney <jasonr@gnu.org>
# Date 1010189697 0
# Node ID b575cbf7f94e7ff65539015cec0d6e384c07e451
# Parent  90ad1db5d8f39d9eb3a29d5c0f9e727b2a5a0350
(w32_menu_display_help): Hide any tooltip window.

diff -r 90ad1db5d8f3 -r b575cbf7f94e src/w32menu.c
--- a/src/w32menu.c	Sat Jan 05 00:09:08 2002 +0000
+++ b/src/w32menu.c	Sat Jan 05 00:14:57 2002 +0000
@@ -2226,6 +2226,8 @@
 	 Windows code on the non-toolkit version.  */
       if (f)
 	{
+	  Fx_hide_tip ();
+
 	  XSETFRAME (frame, f);
 	  kbd_buffer_store_help_event (frame, help);
 	}