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