diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-17 14:42:59 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-17 14:42:59 +0000 |
| commit | 8dea6d5420724c85e935e227854d9ae4c19ededa (patch) | |
| tree | 2f8adce332e16f880d6565051ddc19c6b0b497e6 /generic | |
| parent | 18d5bdb4e852efe0338d793ba99a2b7ee34e08c7 (diff) | |
Lighter background colour for proof-error-face
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 0fd982ad..2c80983b 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -513,7 +513,7 @@ both XEmacs 20.4 and Emacs 20.3's version of font-lock.") (defface proof-error-face (proof-face-specs - (:background "firebrick1" :bold t) + (:background "indianred1" :bold t) (:background "brown" :bold t) (:bold t)) "*Face for error messages from proof assistant." |