From 776627a70a4403313505f6ac71538fb700693fa6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Jan 2008 18:34:35 +0000
Subject: Before calling pg-response-display-with-face, strip eager annotation
 but not specials.

---
 generic/proof-shell.el | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 63c42a88..8f9b74c9 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1370,9 +1370,7 @@ MESSAGE should be a string annotated with
 	 (substring stripped 0 (or (string-match "\n" stripped)
 				   (min (length stripped) 75))))
 	(pg-response-display-with-face 
-	 (if pg-use-specials-for-fontify
-	     message
-	   stripped)
+	 (proof-shell-strip-eager-annotations message)
 	 'proof-eager-annotation-face)))))
 
 (defun proof-shell-strip-eager-annotations (string)
-- 
cgit v1.2.3