changeset 31744:617f41808ff6

(custom-face-tag-face, custom-group-tag-face-1) (custom-group-tag-face, custom-variable-tag-face): Use relative :height and inherit from `variable-pitch' face instead of hardwiring :family.
author Miles Bader <miles@gnu.org>
date Wed, 20 Sep 2000 02:06:45 +0000
parents 58b54c464fa1
children d311d1655d29
files lisp/cus-edit.el
diffstat 1 files changed, 7 insertions(+), 36 deletions(-) [+]
line wrap: on
line diff
--- a/lisp/cus-edit.el	Tue Sep 19 19:27:58 2000 +0000
+++ b/lisp/cus-edit.el	Wed Sep 20 02:06:45 2000 +0000
@@ -2015,18 +2015,10 @@
 (defface custom-variable-tag-face
   `((((class color)
       (background dark))
-     (:foreground "light blue" :bold t :family "helv"
-		  :height ,(let ((height (face-attribute 'default :height)))
-			     (if (numberp height)
-				 (floor height 0.9)
-			       height))))
+     (:foreground "light blue" :bold t :height 1.2 :inherit variable-pitch))
     (((class color)
       (background light))
-     (:foreground "blue" :family "helv" :bold t
-		  :height ,(let ((height (face-attribute 'default :height)))
-			     (if (numberp height)
-				 (floor height 0.9)
-			       height))))
+     (:foreground "blue" :bold t :height 1.2 :inherit variable-pitch))
     (t (:bold t)))
   "Face used for unpushable variable tags."
   :group 'custom-faces)
@@ -2548,11 +2540,7 @@
 ;;; The `custom-face' Widget.
 
 (defface custom-face-tag-face
-  `((t (:bold t :family "helv"
-	      :height ,(let ((height (face-attribute 'default :height)))
-			     (if (numberp height)
-				 (floor height 0.9)
-			       height)))))
+  `((t (:bold t :height 1.2 :inherit variable-pitch)))
   "Face used for face tags."
   :group 'custom-faces)
 
@@ -3007,19 +2995,10 @@
 (defface custom-group-tag-face-1
   `((((class color)
       (background dark))
-     (:foreground "pink" :family "helv"
-		  :height ,(let ((height (face-attribute 'default :height)))
-			     (if (numberp height)
-				 (floor height 0.9)
-			       height))
-		  :bold t))
+     (:foreground "pink" :bold t :height 1.2 :inherit variable-pitch))
     (((class color)
       (background light))
-     (:foreground "red" :bold t
-		  :height ,(let ((height (face-attribute 'default :height)))
-			     (if (numberp height)
-				 (floor height 0.9)
-			       height))))
+     (:foreground "red" :bold t :height 1.2 :inherit variable-pitch))
     (t (:bold t)))
   "Face used for group tags."
   :group 'custom-faces)
@@ -3027,18 +3006,10 @@
 (defface custom-group-tag-face
   `((((class color)
       (background dark))
-     (:foreground "light blue" :bold t
-		  :height ,(let ((height (face-attribute 'default :height)))
-			     (if (numberp height)
-				 (floor height 0.9)
-			       height))))
+     (:foreground "light blue" :bold t :height 1.2))
     (((class color)
       (background light))
-     (:foreground "blue" :bold t
-		  :height ,(let ((height (face-attribute 'default :height)))
-			     (if (numberp height)
-				 (floor height 0.9)
-			       height))))
+     (:foreground "blue" :bold t :height 1.2))
     (t (:bold t)))
   "Face used for low level group tags."
   :group 'custom-faces)