diff options
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 280de2d6..887d2b95 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -571,7 +571,8 @@ frame is the one showing the script buffer.) No effect if buffer is dead." (if (buffer-live-p buffer) (with-current-buffer buffer - (erase-buffer) + (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! |