From 2d2b26b9e179460050517ac3e7631404beb20719 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 9 Sep 2009 23:55:31 +0000
Subject: Prevent font-lock in shell by altering font-lock-global-modes locally

---
 generic/proof-shell.el | 4 ++--
 1 file 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
-- 
cgit v1.2.3