diff leim/ChangeLog @ 35401:c00e94a506a2

(tooltip-hide-delay): New user-option. (tooltip-show): Use tooltip-hide-delay instead of the default.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 18 Jan 2001 14:38:45 +0000
parents 3e97804526ed
children b864d66c5095
line wrap: on
line diff