diff lispintro/cons-4.eps @ 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 a8ee89e61d20
children 6ad2412f0362
line wrap: on
line diff