diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-11-28 11:10:26 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-11-28 11:10:26 +0000 |
| commit | fd3910268ea87eaa19166d48668029b3f30c6fcc (patch) | |
| tree | d83592b05cf2d06e7a31b2f8a5a8857cbd37c824 | |
| parent | ff9be7e74c268604f9d65095ca6f8630eec08ec2 (diff) | |
Add `proof-script-sticky-error-face' and `proof-script-highlight-error-face'.
| -rw-r--r-- | generic/proof-faces.el | 23 |
1 files changed, 18 insertions, 5 deletions
diff --git a/generic/proof-faces.el b/generic/proof-faces.el index 3c69880f..e689f051 100644 --- a/generic/proof-faces.el +++ b/generic/proof-faces.el @@ -108,7 +108,7 @@ Exactly what uses this face depends on the proof assistant." (defface proof-error-face (proof-face-specs - (:background "indianred1") + (:background "rosybrown1") ; a drab version of misty rose (:background "brown") (:bold t)) "*Face for error messages from proof assistant." @@ -152,7 +152,7 @@ Warning messages can come from proof assistant or from Proof General itself." (:background "lightblue") (:background "darkslateblue") (:italic t)) - "*General mouse highlighting face." + "*General mouse highlighting face used in script buffer." :group 'proof-faces) (defface proof-highlight-dependent-face @@ -179,13 +179,24 @@ Warning messages can come from proof assistant or from Proof General itself." "*Face for showing active areas (clickable regions), outside of subterm markup." :group 'proof-faces) -(defface proof-script-error-face - '((t - (:inherit font-lock-warning-face))) +(defface proof-script-sticky-error-face + (proof-face-specs + (:background "indianred1") + (:background "indianred3") + (:underline t)) + "Proof General face for marking an error in the proof script. " + :group 'proof-faces) + +(defface proof-script-highlight-error-face + (proof-face-specs + (:background "indianred1" :bold t) + (:background "indianred3" :bold t) + (:underline t :bold t)) "Proof General face for highlighting an error in the proof script. " :group 'proof-faces) + ;;; Compatibility: these are required for use in GNU Emacs/font-lock-keywords (defconst proof-face-compat-doc "Evaluates to a face name, for compatibility.") @@ -195,6 +206,8 @@ Warning messages can come from proof assistant or from Proof General itself." (defconst proof-tacticals-name-face 'proof-tacticals-name-face proof-face-compat-doc) (defconst proof-tactics-name-face 'proof-tactics-name-face proof-face-compat-doc) (defconst proof-error-face 'proof-error-face proof-face-compat-doc) +(defconst proof-script-sticky-error-face 'proof-script-sticky-error-face proof-face-compat-doc) +(defconst proof-script-highlight-error-face 'proof-script-highlight-error-face proof-face-compat-doc) (defconst proof-warning-face 'proof-warning-face proof-face-compat-doc) (defconst proof-eager-annotation-face 'proof-eager-annotation-face proof-face-compat-doc) (defconst proof-debug-message-face 'proof-debug-message-face proof-face-compat-doc) |