diff options
| author | David Aspinall | 2000-06-22 12:55:20 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-22 12:55:20 +0000 |
| commit | 7c6fbf8a479bd65d341e6b091fbedd80204ea972 (patch) | |
| tree | 65d6def14a481bccec85735c9dd40b4c1a3e9529 | |
| parent | 16f404e852a0626cafddd208fe7fe03f7ba32aa7 (diff) | |
Added back defconsts for face names needed for FSF Emacs.
Yet another annoyance with FSF.
| -rw-r--r-- | generic/proof-config.el | 26 |
1 files changed, 14 insertions, 12 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 4c88a3f7..dcd1c32b 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -439,10 +439,12 @@ Exactly what uses this face depends on the proof assistant." :group 'proof-faces) ;; FIXME da: are these defconsts still needed now we use defface? -;(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.") +;; Answer: yes, for FSF Emacs they are. + +(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 (proof-face-specs @@ -453,10 +455,10 @@ Exactly what uses this face depends on the proof assistant." Exactly what uses this face depends on the proof assistant." :group 'proof-faces) -;(defconst proof-tacticals-name-face 'proof-tacticals-name-face -; "Expression that evaluates to a face. -;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.") +(defconst proof-tacticals-name-face 'proof-tacticals-name-face + "Expression that evaluates to a face. +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 @@ -466,10 +468,10 @@ 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 '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.") +(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.") (defface proof-error-face (proof-face-specs |