diff man/gnu.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 730f77edf073
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff