diff options
| author | David Aspinall | 2002-08-28 12:01:22 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-28 12:01:22 +0000 |
| commit | 64e24596693ce7f44552872bf130a0796f752935 (patch) | |
| tree | e01ecc7ff60a92926f0f58133e739127fdfb7815 | |
| parent | f73c077aa40900e43414e4c7c1129fde90520954 (diff) | |
Make font-lock-keywords buffer local for sake of Emacs 21.2.
| -rw-r--r-- | generic/pg-goals.el | 2 | ||||
| -rw-r--r-- | generic/pg-response.el | 2 |
2 files changed, 4 insertions, 0 deletions
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) |