diff man/mule.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 0b1105a90b8b
children b7eed8a7f650
line wrap: on
line diff