diff etc/splash.pbm @ 33587:7d4c3fcd3421

(tooltip-x-offset, tooltip-y-offset): New user-options. (tooltip-show): Use the offsets.
author Gerd Moellmann <gerd@gnu.org>
date Sat, 18 Nov 2000 12:56:26 +0000
parents e16df605652f
children ba833b7881d0
line wrap: on
line diff