diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-09-21 13:13:47 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-09-21 13:13:47 +0000 |
| commit | fbb9e24a8ff503ad6f5ddd44fa435c5bc095d165 (patch) | |
| tree | 115ba9b2821c1cfaedcc11fea8ae1e9b4e710ae5 /generic/proof-shell.el | |
| parent | feaaf63b8465bce6fcfb3cae6c0e678d77851516 (diff) | |
Introduce more colourings for active scripting indicator.
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index fd52670b..207fb10f 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -96,11 +96,17 @@ interrupt message is printed from the prover after the last output.") ;; (defcustom proof-shell-active-scripting-indicator - '(:eval (propertize " Scripting " 'face - (if proof-shell-busy 'proof-queue-face - 'proof-locked-face))) + '(:eval (propertize + " Scripting " 'face + (cond + (proof-shell-busy 'proof-queue-face) + ((eq proof-shell-last-output-kind 'error) 'proof-script-sticky-error-face) + ((proof-with-current-buffer-if-exists proof-script-buffer + (proof-locked-region-full-p)) + 'font-lock-type-face) + (t 'proof-locked-face)))) "Modeline indicator for active scripting buffer. -Changes colour to indicate whether the shell is busy." +Changes colour to indicate whether the shell is busy, etc." :type 'sexp :group 'proof-general-internals) |