comparison man/reftex.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 695cf19ef79e
children dc7deb7ca051 375f2633d815
comparison
equal deleted inserted replaced
55983:f1ae55d0e729 55984:6d619a8bd0ba