diff man/trampver.texi @ 55984:6d619a8bd0ba

(widget-specify-button): Use hand pointer rather than mouse-face as visible mouse-over effect.
author Kim F. Storm <storm@cua.dk>
date Tue, 08 Jun 2004 09:54:59 +0000
parents 4bc6cb45c326
children 2e0a719f6a41 4c90ffeb71c5
line wrap: on
line diff