From af1e37834fca25210821a558b638e98309643293 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Tue, 3 Nov 1998 11:47:13 +0000
Subject: fixed bug with font-lock face names

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

(limited to 'generic')

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 686f6a98..8d484171 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -124,12 +124,14 @@ If ignore, point is never moved after toolbar movement commands."
       :bold t))
     (t				
      (:italic t :bold t)))
-  "*Face for declaration names in proof scripts.
-
-Don't forget to *double* quote this face for font-lock. FSF Emacs
-20.2's version only supports *expressions* for faces."
+  "*Face for declaration names in proof scripts."
   :group 'proof-faces)
 
+(defconst proof-declaration-name-face 'proof-declaration-name-face
+  "Expression that evaluates to a face.
+Required so that 'proof-declaration-name-face is a proper facename in
+both XEmacs 20.4 and Emacs 20.2's version of font-lock.")
+
 (defface proof-tacticals-name-face
   '((((type x) (class color) (background light))   
      (:foreground "MediumOrchid3"))
@@ -137,12 +139,14 @@ Don't forget to *double* quote this face for font-lock. FSF Emacs
      (:foreground "orchid"))
     (t				
      (bold t)))
-  "*Face for names of tacticals in proof scripts.
-
-Don't forget to *double* quote this face for font-lock. FSF Emacs
-20.2's version only supports *expressions* for faces."
+  "*Face for names of tacticals in proof scripts."
   :group 'proof-faces)
 
+(defconst proof-tacticals-name-face 'proof-tacticals-name-face
+  "Expression that evaluates to a face.
+Required so that 'proof-declaration-name-face is a proper facename in
+both XEmacs 20.4 and Emacs 20.2's version of font-lock.")
+
 (defface proof-error-face 
   '((((type x) (class color) (background light))   
      (:background "salmon1"  
-- 
cgit v1.2.3