diff options
| author | Christophe Raffalli | 2002-03-21 13:32:36 +0000 |
|---|---|---|
| committer | Christophe Raffalli | 2002-03-21 13:32:36 +0000 |
| commit | d1ecaef92c676736d751dbb3e31f74d84cc9f586 (patch) | |
| tree | 23aa27962055b712ff48631973a6c66e69121792 /generic/proof-utils.el | |
| parent | 572ccbce91f2f2fa266168583364a48393862777 (diff) | |
added hook: proof-before-fontify-output-hook
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, |