diff options
author | 2002-05-03 13:31:10 +0000 | |
---|---|---|
committer | 2002-05-03 13:31:10 +0000 | |
commit | d719fa4ce2b99628f229d7a213025a690127c3a5 (patch) | |
tree | 383ddb349009677051dad5f80d974f45154011e6 /generic/proof-utils.el | |
parent | 417067ede1161a01589f24842207c7d681808fbd (diff) |
Fix font lock for E21 (I hope)
Diffstat (limited to 'generic/proof-utils.el')
-rw-r--r-- | generic/proof-utils.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index eba356c8..b542f17b 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -393,7 +393,8 @@ Returns new END value." ;; ================================================ (run-hooks 'proof-before-fontify-output-hook) - (font-lock-default-fontify-region start end) + ;; Emacs 21.1: add loudly flag below for font lock + (font-lock-default-fontify-region start end nil) (proof-zap-commas-region start end)))) (if proof-shell-leave-annotations-in-output ;; Remove special characters that were used for font lock, |