diff options
| -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 |