diff options
author | 2002-08-12 14:14:11 +0000 | |
---|---|---|
committer | 2002-08-12 14:14:11 +0000 | |
commit | 2296ef09a41f225511ec63cc01a727e855708d68 (patch) | |
tree | 1380c8e96c85bb7d8d0ee26817f136f9e03f3109 | |
parent | 72627dcbb6b3fd691d283eca91d7a8405a49d19e (diff) |
Patch for XEmacs 20.4 compat [incomplete?].
-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 |