diff etc/ps-prin2.ps @ 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 cdd489417ae4
children b5a4db21c424
line wrap: on
line diff