From 47fef0c2fd5b0a8e09ef5d4b4508347b4828dd3c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 5 Jun 2000 13:48:47 +0000
Subject: proof-clean-buffer: clear next error flag if buffer is response.

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

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index 859626d9..db1355d7 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -427,6 +427,8 @@ frame is the one showing the script buffer.)"
   (with-current-buffer buffer
     ;; NB: useful optional arg to erase buffer is XEmacs specific, 8-(.
     (erase-buffer)
+    (if (eq buffer proof-response-buffer)
+	(setq proof-shell-next-error nil))	; all error msgs lost!
     (if proof-delete-empty-windows
 	(delete-windows-on buffer t))))
 
@@ -499,6 +501,7 @@ Returns non-nil if response buffer was cleared."
 	  ;; NB: useful optional arg to erase buffer is XEmacs specific, 8-(.
 	  ;; (erase-buffer proof-response-buffer)
 	    (with-current-buffer proof-response-buffer
+	      (setq proof-shell-next-error nil)	; all error msgs lost!
 	      (erase-buffer))))
       (setq proof-shell-erase-response-flag erase-next-time)
       doit)))
-- 
cgit v1.2.3