diff options
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 3 |
1 files changed, 2 insertions, 1 deletions
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 |