diff options
| author | David Aspinall | 2009-09-06 18:14:08 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-06 18:14:08 +0000 |
| commit | be93117a3a7ea6af6f28b6631c3bcf04ec839f0a (patch) | |
| tree | 266e6792196cc374450202c29208a3de86752390 /generic | |
| parent | 3d9b10186debc0f1839f37d44022f448a8587ff2 (diff) | |
proof-clean-buffer: inhibit read only
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-utils.el | 5 |
1 files changed, 3 insertions, 2 deletions
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! |