diff options
| author | Thomas Kleymann | 1998-10-21 16:22:05 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-10-21 16:22:05 +0000 |
| commit | 2f476aaa6eaa12dac814effb9fee8f2188f6b6df (patch) | |
| tree | 5f9a6e6f3a63092d5cbe3dd28be9e4b0405d4a75 /generic/proof.el | |
| parent | 0f315e11c5425f462ba8ff7b84cbefc77aa208d6 (diff) | |
no longer displays important messages about file assertion/retraction
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/generic/proof.el b/generic/proof.el index 7506f8ad..9287c766 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -1755,8 +1755,7 @@ arrive." (defun proof-shell-process-urgent-message (message) "Display and analyse urgent MESSAGE for asserting or retracting files." - (proof-message message) - (proof-response-buffer-display message 'font-lock-eager-annotation-face) + ;; Is the prover processing a file? (cond ((and proof-shell-process-file @@ -1777,7 +1776,11 @@ arrive." (remove (car proof-script-buffer-list) (proof-files-to-buffers (set-difference current-included - proof-included-files-list)))))))) + proof-included-files-list)))))) + (t + (proof-message message) + (proof-response-buffer-display message + 'font-lock-eager-annotation-face)))) (defun proof-shell-process-urgent-messages (str) "Scan the process output for urgent messages. |