From be93117a3a7ea6af6f28b6631c3bcf04ec839f0a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 6 Sep 2009 18:14:08 +0000
Subject: proof-clean-buffer: inhibit read only

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

(limited to 'generic/proof-utils.el')

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index 6251630e..818242f4 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -447,8 +447,9 @@ frame is the one showing the script buffer.)
 No effect if buffer is dead."
   (if (buffer-live-p buffer)
       (with-current-buffer buffer
-	(unless (eq 0 (buffer-size)) ;; checkpoint unless already empty
-	  (bufhist-checkpoint-and-erase))
+	(let ((inhibit-read-only t))
+	  (unless (eq 0 (buffer-size)) ;; checkpoint unless already empty
+	    (bufhist-checkpoint-and-erase)))
 	(set-buffer-modified-p nil)
 	(if (eq buffer proof-response-buffer)
 	    (setq pg-response-next-error nil))	; all error msgs lost!
-- 
cgit v1.2.3