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