(w32_menu_display_help): Hide any tooltip window.

2 files changed, 4 insertions, 0 deletions

diff --git a/src/ChangeLog b/src/ChangeLog
index ea9b8720840..ccb16497fc5 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,5 +1,7 @@
 2002-01-05  Jason Rumney  <jasonr@gnu.org>
 
+        * w32menu.c (w32_menu_display_help): Hide any tooltip window.
+
         * w32fns.c (compute_tip_xy): If tooltip won't fit on the screen
         to the left or to the right of the pointer, put it against
         the left screen edge.
diff --git a/src/w32menu.c b/src/w32menu.c
index 03ffb301f01..2fe9a63ad5b 100644
--- a/src/w32menu.c
+++ b/src/w32menu.c
@@ -2226,6 +2226,8 @@ 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);
         }