-
Chong Yidong authored
(custom-variable-menu, custom-face-menu, custom-group-menu) (custom-buffer-create-internal): Change "Reset" to "Show". Reorder menu items. (custom-link): New face for Info links. (custom-buffer-create-internal, custom-manual): Use it. * wid-edit.el (widget-default-mouse-face-get): New function. (widget-specify-button): Handle mouse-face like button-face. * custom.el (load-theme): Clear old theme settings if reloading.
73e60f53