diff options
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 44604fe9..4b825adf 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -392,7 +392,8 @@ Returns new END value." (set-marker font-lock-cache-position 0))) ;; ================================================ - (font-lock-default-fontify-region start end nil) + (run-hooks 'proof-before-fontify-output-hook) + (font-lock-default-fontify-region start end) (proof-zap-commas-region start end)))) (if proof-shell-leave-annotations-in-output ;; Remove special characters that were used for font lock, |