diff man/text.texi @ 40679:3c4df1ce9e4c

(tooltip-delay): Decrease to 0.7. (tooltip-hide-delay): Enlarge to 10.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 03 Nov 2001 16:59:11 +0000
parents 96973a484b73
children d2264ed210a7
line wrap: on
line diff