diff options
Diffstat (limited to 'generic')
-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, |