From 1238764f2bc4ff6dcfa697f05cbf76f7c67c7837 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 24 Sep 2006 15:31:15 +0000
Subject: Tweaks to buffer history mode.  Still intermediate version.

---
 generic/pg-response.el | 3 ++-
 generic/proof-utils.el | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

(limited to 'generic')

diff --git a/generic/pg-response.el b/generic/pg-response.el
index ae010b19..66c7869a 100644
--- a/generic/pg-response.el
+++ b/generic/pg-response.el
@@ -266,7 +266,8 @@ Returns non-nil if response buffer was cleared."
 	  ;; (erase-buffer proof-response-buffer)
 	    (with-current-buffer proof-response-buffer
 	      (setq pg-response-next-error nil)	; all error msgs lost!
-	      (bufhist-checkpoint-and-erase)
+	      (if (> (buffer-size) 0)		     
+		  (bufhist-checkpoint-and-erase))
 	      (set-buffer-modified-p nil))))
       (setq pg-response-erase-flag erase-next-time)
       doit)))
diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index 887d2b95..f2b76f48 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -287,7 +287,7 @@ user accidently killing an associated buffer."
   (if (and (proof-shell-live-buffer) proof-buffer-type)
       (progn
 	(let ((bufname (buffer-name)))
-	  (erase-buffer)
+	  (bufhist-erase-buffer)
 	  (set-buffer-modified-p nil)
 	  (bury-buffer)
 	  (error
-- 
cgit v1.2.3