diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/pg-response.el | 3 | ||||
| -rw-r--r-- | generic/proof-utils.el | 2 |
2 files changed, 3 insertions, 2 deletions
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 |