diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-09 23:55:31 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-09 23:55:31 +0000 |
commit | 2d2b26b9e179460050517ac3e7631404beb20719 (patch) | |
tree | c716849a7a4ddd2062fe49e580d130995ecd7339 /generic | |
parent | 18dc29086bb5683f2cc00ac7de5742d4eb1a9d08 (diff) |
Prevent font-lock in shell by altering font-lock-global-modes locally
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-shell.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 6d7621eb..ee9e4139 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1813,9 +1813,9 @@ processing." (proof-warn-if-unset "proof-shell-config-done" sym)) ;; Set font lock keywords, but turn off by default to save cycles. - ;; FIXME: attempt to turn it off doesn't seem to work? (setq font-lock-defaults '(proof-shell-font-lock-keywords)) - (font-lock-mode 0) + (set (make-local-variable 'font-lock-global-modes) + (list 'not proof-mode-for-shell)) (let ((proc (get-buffer-process proof-shell-buffer))) ;; Add the kill buffer function and process sentinel |