From 93db85e34dae8006d1a0c6e5c5eea54d5ff2f12c Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Thu, 1 Sep 2005 14:18:06 +0000
Subject: eager message: perform pg-remove-specials-in-string after
 pg-assoc-strip-subterm-markup;

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

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index ac05ba78..c2d59488 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1437,7 +1437,8 @@ MESSAGE should be a string annotated with
       ;; Don't bother remove the window for the response buffer
       ;; because we're about to put a message in it.
       (proof-shell-maybe-erase-response nil nil)
-      (let ((stripped	(pg-assoc-strip-subterm-markup message)))
+      (let ((stripped (pg-remove-specials-in-string
+		       (pg-assoc-strip-subterm-markup message))))
 	;; Display first chunk of output in minibuffer.
 	;; Maybe this should be configurable, it can get noisy.
 	(proof-shell-message 
-- 
cgit v1.2.3