diff options
Diffstat (limited to 'generic')
| -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) |