From 87aad08fc51f99acf75becb10da5f4c5e5cba553 Mon Sep 17 00:00:00 2001
From: Patrick Loiseleur
Date: Fri, 18 Jun 1999 10:39:10 +0000
Subject: tactics-name-face

---
 generic/proof-config.el | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/generic/proof-config.el b/generic/proof-config.el
index b77db1ba..9f130a53 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -264,18 +264,14 @@ Required so that 'proof-tacticals-name-face is a proper facename in
 both XEmacs 20.4 and Emacs 20.3's version of font-lock.")
 
 (defface proof-tactics-name-face
-  '((t
-     (:foreground (face-foreground default)))
-    (t
-     (:background (face-background default)))
-    (t				
+  '((t				
      (bold t)))
   "*Face for names of tactics in proof scripts.
 By default, they are printed with default face but the user
 may want to color them differently."
   :group 'proof-faces)
 
-(defconst proof-tactics-name-face 'default
+(defconst proof-tactics-name-face 'proof-tactics-name-face
   "Expression that evaluates to a face.
 Required so that 'proof-tactics-name-face is a proper facename in
 both XEmacs 20.4 and Emacs 20.3's version of font-lock.")
-- 
cgit v1.2.3