diff options
| author | Jason Rumney <jasonr@gnu.org> | 2002-01-05 00:17:40 +0000 |
|---|---|---|
| committer | Jason Rumney <jasonr@gnu.org> | 2002-01-05 00:17:40 +0000 |
| commit | f884b6f49f3471ee77892a7b518a0ac880e61e0e (patch) | |
| tree | 456b162bbc205a7b7af0c77870e5d0e802618fdd /src/w32menu.c | |
| parent | 6637c996f7a3d0fce9f34cf96739b5421551dcd2 (diff) | |
| download | emacs-f884b6f49f3471ee77892a7b518a0ac880e61e0e.tar.gz | |
(w32_menu_display_help): Hide any tooltip window.
Diffstat (limited to 'src/w32menu.c')
| -rw-r--r-- | src/w32menu.c | 2 |
1 files changed, 2 insertions, 0 deletions
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); } |