diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-10-15 22:44:01 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-10-15 22:44:01 +0000 |
commit | f819d9dfd40516abf89b593501af52126ad767f9 (patch) | |
tree | 3b4ac303d71d59a1ff509e5fce4090a4b2f9b5f2 | |
parent | 9d16a972dc44dbb6d9035a9492e4f5c1135cedca (diff) |
proof-script-error-face: remove underline
-rw-r--r-- | generic/proof-faces.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-faces.el b/generic/proof-faces.el index 71f1c254..3c69880f 100644 --- a/generic/proof-faces.el +++ b/generic/proof-faces.el @@ -181,7 +181,7 @@ Warning messages can come from proof assistant or from Proof General itself." (defface proof-script-error-face '((t - (:inherit font-lock-warning-face :underline t))) + (:inherit font-lock-warning-face))) "Proof General face for highlighting an error in the proof script. " :group 'proof-faces) |