# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 963300981 0
# Node ID e75b1b3a94f49a15fa138daf3d3f3f8ed6ea2995
# Parent  90534519c7b2ea5cc9251c5c5fd25aa8623f1e2f
(w32_menu_display_help): Call show_help_echo with
non-zero ok_to_overwrite_keystroke_echo argument.

diff -r 90534519c7b2 -r e75b1b3a94f4 src/w32menu.c
--- a/src/w32menu.c	Tue Jul 11 07:35:39 2000 +0000
+++ b/src/w32menu.c	Tue Jul 11 07:36:21 2000 +0000
@@ -2166,7 +2166,7 @@
       get_menu_item_info (menu, item, FALSE, &info);
 
       show_help_echo (info.dwItemData ?
-		      build_string ((char *) info.dwItemData) : Qnil);
+		      build_string ((char *) info.dwItemData) : Qnil, 1);
     }
 }