diff man/help.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 1c7ccc3495fe
children fbaea919f220 4c90ffeb71c5
line wrap: on
line diff