diff options
| author | Makarius Wenzel | 2007-11-04 16:00:10 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2007-11-04 16:00:10 +0000 |
| commit | 6948d6713f6a4934eb116ec7338653ec1f5593ab (patch) | |
| tree | 240c40dc4eb9e62ddf1223fa9b0193125c83f5da | |
| parent | 5e22972c4f1a0fead3d3b8a24a5f2606ff333b85 (diff) | |
defconst proof-warning-face -- as expected by GNU Emacs;
| -rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 3690e0a3..4e12f48c 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -544,6 +544,8 @@ both XEmacs 20.4 and Emacs 20.3's version of font-lock.") Warning messages can come from proof assistant or from Proof General itself." :group 'proof-faces) +(defconst proof-warning-face 'proof-warning-face) + (defface proof-eager-annotation-face (proof-face-specs (:background "palegoldenrod") |