diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-17 08:58:35 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-17 08:58:35 +0000 |
| commit | 0c3ccf06190438ba26d66529270d00bf25e3c679 (patch) | |
| tree | d1103632fc3ce97a47f6b2f1caf45eb69b833ead /generic/proof-shell.el | |
| parent | 017d4bc094c0324d23ca30b7ab1f5b42313c02f7 (diff) | |
Make the modeline indicator change colour. Old XEmacs behaviour restored. Questionable UI benefit.
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 238ba47b..30b110c2 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -92,10 +92,11 @@ The previous output is held back for processing at end of queue.") ;; (defcustom proof-shell-active-scripting-indicator - (propertize " Scripting " 'face 'proof-queue-face) + '(:eval (propertize " Scripting " 'face + (if proof-shell-busy 'proof-queue-face + 'proof-locked-face))) "Modeline indicator for active scripting buffer. -If first component is extent it will automatically follow the colour -of the queue region." +Changes colour to indicate whether the shell is busy." :type 'sexp :group 'proof-general-internals) @@ -173,8 +174,6 @@ If QUEUEMODE is supplied, set the lock to that value." (proof-shell-ready-prover queuemode) (setq proof-shell-interrupt-pending nil) (setq proof-shell-busy (or queuemode t)) - ;; Make modeline indicator follow state (on XEmacs at least) - ;; PG4.0: TODO: alter modeline indicator (run-hooks 'proof-state-change-hook)) (defun proof-release-lock () |