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 | |
| parent | 572ccbce91f2f2fa266168583364a48393862777 (diff) | |
added hook: proof-before-fontify-output-hook
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-config.el | 6 | ||||
| -rw-r--r-- | generic/proof-utils.el | 3 |
2 files changed, 8 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index bdee9eac..df76244c 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -2055,6 +2055,12 @@ toolbar." :type '(repeat function) :group 'proof-shell) +(defcustom proof-before-fontify-output-hook nil + "This hook is called before fonfitying a region in an output buffer. +This hook is mainly used by phox-sym-lock." + :type '(repeat function) + :group 'proof-shell) + (defcustom proof-shell-font-lock-keywords nil "Value of font-lock-keywords used to fontify the proof shell. This is currently used only by proof-easy-config mechanism, 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, |