diff oldXMenu/X10.h @ 31877:517180d8eccd

(show_help_echo): Set help_echo_showing_p. (read_char): If help-echo is showing, preserve the echo area when redisplaying.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 25 Sep 2000 14:27:02 +0000
parents bbce331da1be
children 23a1cea22d13
line wrap: on
line diff