+2005-12-31 Chong Yidong <cyd@stupidchicken.com>
+
+ * cus-edit.el (custom-button-mouse): New variable.
+ (custom-button-mouse): New face.
+ (custom-raised-buttons, custom-mode): Use it.
+
+ * cus-theme.el (custom-new-theme-mode): Use custom-button-mouse.
+
2005-12-31 Eli Zaretskii <eliz@gnu.org>
* progmodes/gud.el (gud-display-line): Support hl-line in the
(defvar custom-button nil
"Face used for buttons in customization buffers.")
+(defvar custom-button-mouse nil
+ "Mouse face used for buttons in customization buffers.")
+
(defvar custom-button-pressed nil
"Face used for pressed buttons in customization buffers.")
(custom-set-default variable value)
(setq custom-button
(if value 'custom-button 'custom-button-unraised))
+ (setq custom-button-mouse
+ (if value 'custom-button-mouse 'highlight))
(setq custom-button-pressed
(if value
'custom-button-pressed
;; backward-compatibility alias
(put 'custom-button-face 'face-alias 'custom-button)
+(defface custom-button-mouse
+ '((((type x w32 mac) (class color))
+ (:box (:line-width 2 :style released-button)
+ :background "grey90" :foreground "black"))
+ (t
+ nil))
+ "Mouse face for custom buffer buttons if `custom-raised-buttons' is non-nil."
+ :version "22.1"
+ :group 'custom-faces)
+
(defface custom-button-unraised
'((((min-colors 88)
(class color) (background light)) :foreground "blue1" :underline t)
(setq custom-button
(if custom-raised-buttons 'custom-button 'custom-button-unraised))
+(setq custom-button-mouse
+ (if custom-raised-buttons 'custom-button-mouse 'highlight))
+
(defface custom-button-pressed
'((((type x w32 mac) (class color))
(:box (:line-width 2 :style pressed-button)
(make-local-variable 'widget-button-face)
(setq widget-button-face custom-button)
(set (make-local-variable 'widget-button-pressed-face) custom-button-pressed)
- (if custom-raised-buttons
- (set (make-local-variable 'widget-mouse-face) custom-button))
+ (set (make-local-variable 'widget-mouse-face) custom-button-mouse)
;; When possible, use relief for buttons, not bracketing. This test
;; may not be optimal.
(set (make-local-variable 'widget-documentation-face) 'custom-documentation)
(set (make-local-variable 'widget-button-face) custom-button)
(set (make-local-variable 'widget-button-pressed-face) custom-button-pressed)
- (if custom-raised-buttons
- (set (make-local-variable 'widget-mouse-face) custom-button))
+ (set (make-local-variable 'widget-mouse-face) custom-button-mouse)
(when custom-raised-buttons
(set (make-local-variable 'widget-push-button-prefix) "")
(set (make-local-variable 'widget-push-button-suffix) "")