From d1ecaef92c676736d751dbb3e31f74d84cc9f586 Mon Sep 17 00:00:00 2001
From: Christophe Raffalli
Date: Thu, 21 Mar 2002 13:32:36 +0000
Subject: added hook: proof-before-fontify-output-hook

---
 generic/proof-utils.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'generic/proof-utils.el')

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,
-- 
cgit v1.2.3