From 4dd69034c684a17d3b058c4b3bdf3a72b26ea3b7 Mon Sep 17 00:00:00 2001 From: Makarius Wenzel Date: Tue, 31 Mar 2009 13:30:26 +0000 Subject: recovered proof-shell-process-urgent-message, by re-introducing commented-out parenthesis and refreshing formerly unreachable cases; --- generic/proof-shell.el | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 0c7b8311..0c191c8a 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1132,7 +1132,8 @@ MESSAGE should be a string annotated with ;; (if (or pg-use-specials-for-fontify ;; proof-shell-unicode) message -;; (pg-assoc-strip-subterm-markup message))) +;; (pg-assoc-strip-subterm-markup message)) + ) (unless (and proof-trace-output-slow-catchup (pg-tracing-tight-loop)) (proof-display-and-keep-buffer proof-trace-buffer)) @@ -1238,11 +1239,11 @@ MESSAGE should be a string annotated with ;; Display first chunk of output in minibuffer. ;; Maybe this should be configurable, it can get noisy. (proof-shell-message - (substring stripped 0 (or (string-match "\n" stripped) - (min (length stripped) 75)))) + (substring message 0 (or (string-match "\n" message) + (min (length message) 75)))) (pg-response-display-with-face (proof-shell-strip-eager-annotations message) - 'proof-eager-annotation-face))))) + 'proof-eager-annotation-face)))) (defun proof-shell-strip-eager-annotations (string) "Strip `proof-shell-eager-annotation-{start,end}' from STRING." -- cgit v1.2.3