diff options
Diffstat (limited to 'generic/proof-utils.el')
| -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! |