diff options
author | 2002-06-12 16:51:05 +0000 | |
---|---|---|
committer | 2002-06-12 16:51:05 +0000 | |
commit | f4c9875972b8590d04a6f18af06d8250c5c92de8 (patch) | |
tree | bb80edbffef380e0f1367d4aaade5f080fd93776 /generic/proof-utils.el | |
parent | 419000a975f371612bb77efe1fdf64305fbc5e51 (diff) |
Make hack for XEmacs 21.4 also work for later versions
Diffstat (limited to 'generic/proof-utils.el')
-rw-r--r-- | generic/proof-utils.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index b542f17b..6878bd86 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -384,8 +384,9 @@ Returns new END value." ;; the careful buffer local font-lock-defaults?? ;; ================================================ ;; 3.5.01: call to font-lock-fontify-region breaks - ;; in xemacs 21.4. Following hack to fix - (if (and (string-match "21\\.4.*XEmacs" emacs-version) + ;; in xemacs 21.4. Following hack to fix. + (if (and proof-running-on-XEmacs + (>= emacs-minor-version 4) (not font-lock-cache-position)) (progn (setq font-lock-cache-position (make-marker)) |