diff options
| author | David Aspinall | 2004-04-15 22:59:51 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-15 22:59:51 +0000 |
| commit | 72920941d1227e6a0afd93748fad2b06bdbcc370 (patch) | |
| tree | 3ef43b354f8a58ead40d00a953496aaddd62c768 | |
| parent | c39ae5296c474c17ef393279d84715cf7c357f5c (diff) | |
Change error face to firebrick (again)
| -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 dde147d0..0fd982ad 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 "salmon1" :bold t) + (:background "firebrick1" :bold t) (:background "brown" :bold t) (:bold t)) "*Face for error messages from proof assistant." |