diff nt/icons/gnu5w32.ico @ 68892:93b583aac002

* wid-edit.el (widget-button-click): Use :pressed-face property for overlay face, if it exists. * cus-edit.el (custom-manual, custom-add-see-also) (custom-add-parent-links, custom-group-link): Add :pressed-face property to links.
author Chong Yidong <cyd@stupidchicken.com>
date Tue, 14 Feb 2006 20:16:04 +0000
parents 354e0c45cedf
children
line wrap: on
line diff