diff options
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index ce31e4ba..af357b4a 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -377,6 +377,7 @@ Returns new END value." (font-lock-set-defaults)) (let ((font-lock-keywords proof-font-lock-keywords)) (if (and proof-running-on-XEmacs + (>= emacs-major-version 21) (>= emacs-minor-version 4) (not font-lock-cache-position)) (progn |