diff make-dist @ 30144:90534519c7b2

(menu_help_callback): Call show_help_echo with non-zero ok_to_overwrite_keystroke_echo argument.
author Eli Zaretskii <eliz@gnu.org>
date Tue, 11 Jul 2000 07:35:39 +0000
parents 349704f6532f
children 28cc44c6c08c
line wrap: on
line diff