diff options
| author | David Aspinall | 2002-08-28 14:57:18 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-28 14:57:18 +0000 |
| commit | 8c999a57225835134ad98433ebf6090ef4ae3adb (patch) | |
| tree | 2f9b5b5cbcc26463882b4739c520290fdc6b495d /generic/proof-script.el | |
| parent | ecd67cfbf3df2623d251d4b60529e7293051852b (diff) | |
Make font-lock-keywords buffer local for sake of Emacs 21.2.
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 3 |
1 files changed, 3 insertions, 0 deletions
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 |