diff oldXMenu/X10.h @ 35136:1eb26b81ece0

(Info-search): Print the default as part of the prompt.
author Eli Zaretskii <eliz@gnu.org>
date Mon, 08 Jan 2001 16:59:54 +0000
parents bbce331da1be
children 23a1cea22d13
line wrap: on
line diff