diff man/search.texi @ 40686:b6d0ce452871

Document the changes in the default values of tooltip-delay and tooltip-hide-delay.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 03 Nov 2001 19:17:39 +0000
parents 549e09fb7907
children feea30bbbf13
line wrap: on
line diff