From f884b6f49f3471ee77892a7b518a0ac880e61e0e Mon Sep 17 00:00:00 2001 From: Jason Rumney Date: Sat, 5 Jan 2002 00:17:40 +0000 Subject: [PATCH] (w32_menu_display_help): Hide any tooltip window. --- src/ChangeLog | 2 ++ src/w32menu.c | 2 ++ 2 files changed, 4 insertions(+) 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 + * 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); } -- 2.39.5