From 9a52805c39287a9c78a6304e4b4ae8b9328036de Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 24 Aug 2004 13:42:28 +0000
Subject: Make proof-clean-buffer work with dead buffers. Add x-symbol-version
 to bug report variables.

---
 generic/proof-utils.el | 21 ++++++++++++---------
 1 file changed, 12 insertions(+), 9 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index f9eac34c..90702cc3 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -568,14 +568,16 @@ Ensure that point is visible in window."
 (defun proof-clean-buffer (buffer)
   "Erase buffer and hide from display if proof-delete-empty-windows set.
 Auto deletion only affects selected frame.  (We assume that the selected
-frame is the one showing the script buffer.)"
-  (with-current-buffer buffer
-    (erase-buffer)
-    (set-buffer-modified-p nil)
-    (if (eq buffer proof-response-buffer)
-	(setq pg-response-next-error nil))	; all error msgs lost!
-    (if proof-delete-empty-windows
-	(delete-windows-on buffer t))))
+frame is the one showing the script buffer.)
+No effect if buffer is dead."
+  (if (buffer-live-p buffer)
+      (with-current-buffer buffer
+	(erase-buffer)
+	(set-buffer-modified-p nil)
+	(if (eq buffer proof-response-buffer)
+	    (setq pg-response-next-error nil))	; all error msgs lost!
+	(if proof-delete-empty-windows
+	    (delete-windows-on buffer t)))))
 
 (defun proof-message (&rest args)
   "Issue the message ARGS in the response buffer and display it."
@@ -745,7 +747,8 @@ or if the window is the only window of its frame."
     (reporter-submit-bug-report
      "da+pg-bugs@inf.ed.ac.uk"
      "Proof General" 
-     (list 'proof-general-version 'proof-assistant)
+     (list 'proof-general-version 'proof-assistant 
+	   'x-symbol-version)
      nil nil
      "[ When reporting a bug, please include a small test case for us to repeat it.
  Please also check that it is not already covered in the BUGS files that came with
-- 
cgit v1.2.3