From 7f2cddf33be85221b681f85ba4cc51bf10d24a9d Mon Sep 17 00:00:00 2001 From: Jason Rumney Date: Sun, 6 Jan 2002 21:39:33 +0000 Subject: [PATCH] (w32_menu_display_help): Revert last change. --- src/ChangeLog | 6 ++++++ src/w32menu.c | 2 -- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/src/ChangeLog b/src/ChangeLog index 7206d6f7e03..ef7a06de3c9 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,9 @@ +2002-01-06 Jason Rumney + + * w32menu.c (w32_menu_display_help): Revert last change. + + * xmenu.c (menu_highlight_callback): Revert last change. + 2002-01-06 Andreas Schwab * insdel.c (make_gap_larger): Make sure buffer size does not diff --git a/src/w32menu.c b/src/w32menu.c index 2fe9a63ad5b..03ffb301f01 100644 --- a/src/w32menu.c +++ b/src/w32menu.c @@ -2226,8 +2226,6 @@ 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