aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
diff options
context:
space:
mode:
authorGravatar Pierre Courtieu <courtieu@lri.fr>2015-02-04 10:42:14 +0000
committerGravatar Pierre Courtieu <courtieu@lri.fr>2015-02-04 10:42:14 +0000
commit1d41c893d257b67211cbb99b7c1d2756141d464a (patch)
tree2c3e8b1c2770accfdda8f5e0ca3b18b97c10b13e /generic
parent22a56755cfd4d7acd5a4e59ecf14626e26c7b23a (diff)
cleaned previous commits (generic variable to disable error coloring).
Diffstat (limited to 'generic')
-rw-r--r--generic/proof-config.el5
-rw-r--r--generic/proof-shell.el6
2 files changed, 10 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el
index 9f4494d2..033938c3 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -757,6 +757,11 @@ Elisp errors will be trapped when evaluating; set
:type 'boolean
:group 'proof-script)
+(defcustom proof-script-color-error-messages t
+ "if non-nil error messages will be globally colored with corresponding face.
+If prover mode has a better coloring mechanism for errors, set this to nil."
+ :type 'boolean
+ :group 'proof-script)
(defcustom proof-script-font-lock-keywords nil
"Value of `font-lock-keywords' used to fontify proof scripts.
diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index a8e79fcd..b0ae9684 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -619,7 +619,11 @@ This is a subroutine of `proof-shell-handle-error'."
;; Erase if need be, and erase next time round too.
(pg-response-maybe-erase t nil)
- (pg-response-display-with-face string append-face)))
+ ;; Coloring the whole message may be ugly ad hide better
+ ;; coloring mechanism.
+ (if proof-script-color-error-messages
+ (pg-response-display-with-face string append-face)
+ (pg-response-display-with-face string))))