From e7bc18ab416f45c3daf31f3c202e33792a106797 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 26 Aug 2010 23:39:20 +0000
Subject: Move erase-buffer from associate buffer mode functions, allowing
 clone-buffer to work, at least superficially.

---
 generic/pg-goals.el    |  1 -
 generic/pg-response.el |  1 -
 generic/proof-shell.el | 16 ++++++++++------
 3 files changed, 10 insertions(+), 8 deletions(-)

diff --git a/generic/pg-goals.el b/generic/pg-goals.el
index b45a0f71..1dc079cb 100644
--- a/generic/pg-goals.el
+++ b/generic/pg-goals.el
@@ -36,7 +36,6 @@ May enable proof-by-pointing or similar features.
   (easy-menu-add proof-goals-mode-menu proof-goals-mode-map)
   (easy-menu-add proof-assistant-menu proof-goals-mode-map)
   (proof-toolbar-setup)
-  (erase-buffer)
   (buffer-disable-undo)
   (if proof-keep-response-history (bufhist-mode)) ; history for contents
   (set-buffer-modified-p nil)
diff --git a/generic/pg-response.el b/generic/pg-response.el
index 8969301e..8a2490cb 100644
--- a/generic/pg-response.el
+++ b/generic/pg-response.el
@@ -47,7 +47,6 @@
   (easy-menu-add proof-assistant-menu proof-response-mode-map)
   (proof-toolbar-setup)
   (setq pg-response-next-error nil)
-  (erase-buffer)
   (buffer-disable-undo)
   (if proof-keep-response-history (bufhist-mode)) ; history for contents
   (set-buffer-modified-p nil)
diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index d3e4e28d..acca04ed 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -339,18 +339,22 @@ process command."
 
 	;; Initialise associated buffers
 
-	(set-buffer proof-response-buffer)
-	(proof-shell-set-text-representation)
-	(funcall proof-mode-for-response)
+	(with-current-buffer proof-response-buffer
+	  (erase-buffer)
+	  (proof-shell-set-text-representation)
+	  (funcall proof-mode-for-response))
+	  
+	(with-current-buffer proof-goals-buffer
+	  (erase-buffer)
+	  (proof-shell-set-text-representation)
+	  (funcall proof-mode-for-goals))
 
 	(proof-with-current-buffer-if-exists proof-trace-buffer
+  	  (erase-buffer)
 	  (proof-shell-set-text-representation)
 	  (funcall proof-mode-for-response)
 	  (setq pg-response-eagerly-raise nil))
 
-	(set-buffer proof-goals-buffer)
-	(proof-shell-set-text-representation)
-	(funcall proof-mode-for-goals)
 
 	;; Setting modes initialises local variables which
 	;; may affect frame/buffer appearance: so we fire up frames
-- 
cgit v1.2.3