From 8c999a57225835134ad98433ebf6090ef4ae3adb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 28 Aug 2002 14:57:18 +0000
Subject: Make font-lock-keywords buffer local for sake of Emacs 21.2.

---
 generic/proof-script.el | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index dc0b4b7b..3e5e8f0d 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2329,6 +2329,9 @@ command."
 
   (setq proof-buffer-type 'script)
 
+  ;; font-lock-keywords isn't automatically buffer-local in Emacs 21.2
+  (make-local-variable 'font-lock-keywords)
+
   ;; During write-file it can happen that we re-set the mode for
   ;; the currently active scripting buffer.  The user might also
   ;; do this for some reason.  We could maybe let
-- 
cgit v1.2.3