From 64e24596693ce7f44552872bf130a0796f752935 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 28 Aug 2002 12:01:22 +0000
Subject: Make font-lock-keywords buffer local for sake of Emacs 21.2.

---
 generic/pg-goals.el    | 2 ++
 generic/pg-response.el | 2 ++
 2 files changed, 4 insertions(+)

diff --git a/generic/pg-goals.el b/generic/pg-goals.el
index 907f4fe5..8edbc42a 100644
--- a/generic/pg-goals.el
+++ b/generic/pg-goals.el
@@ -27,6 +27,8 @@
 May enable proof-by-pointing or similar features.
 \\{proof-goals-mode-map}"
   (setq proof-buffer-type 'goals)
+  ;; font-lock-keywords isn't automatically buffer-local in Emacs 21.2
+  (make-local-variable 'font-lock-keywords)
   (make-local-hook 'kill-buffer-hook)
   (add-hook 'kill-buffer-hook 'pg-save-from-death nil t)
   (easy-menu-add proof-goals-mode-menu proof-goals-mode-map)
diff --git a/generic/pg-response.el b/generic/pg-response.el
index 0ad5b9f0..1c09f25e 100644
--- a/generic/pg-response.el
+++ b/generic/pg-response.el
@@ -21,6 +21,8 @@
 (define-derived-mode proof-response-mode proof-universal-keys-only-mode
   "PGResp" "Responses from Proof Assistant"
   (setq proof-buffer-type 'response)
+  ;; font-lock-keywords isn't automatically buffer-local in Emacs 21.2
+  (make-local-variable 'font-lock-keywords)
   (define-key proof-response-mode-map [q] 'bury-buffer)
   (define-key proof-response-mode-map [c] 'pg-response-clear-displays)
   (make-local-hook 'kill-buffer-hook)
-- 
cgit v1.2.3