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

diff -r 61a15122ab3b -r 90534519c7b2 src/xmenu.c
--- a/src/xmenu.c	Tue Jul 11 07:34:51 2000 +0000
+++ b/src/xmenu.c	Tue Jul 11 07:35:39 2000 +0000
@@ -2488,7 +2488,7 @@
 menu_help_callback (help_string)
      char *help_string;
 {
-  show_help_echo (help_string ? build_string (help_string) : Qnil);
+  show_help_echo (help_string ? build_string (help_string) : Qnil, 1);
 }