(w32_menu_display_help): Revert last change.

7f2cddf3 · Jason Rumney · adad11bd · 7f2cddf3 · 7f2cddf3
Commit 7f2cddf3 authored Jan 06, 2002 by Jason Rumney
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 2 deletions

src/ChangeLog src/ChangeLog +6 -0

src/w32menu.c src/w32menu.c +0 -2

No files found.
--- a/src/ChangeLog
+++ b/src/ChangeLog
+2002-01-06  Jason Rumney  <jasonr@gnu.org>
+
+	* w32menu.c (w32_menu_display_help): Revert last change.
+
+	* xmenu.c (menu_highlight_callback): Revert last change.
+
 2002-01-06  Andreas Schwab  <schwab@suse.de>
  
 	* insdel.c (make_gap_larger): Make sure buffer size does not

--- 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);
 	}