diff options
| author | David Aspinall | 2006-09-24 15:31:15 +0000 |
|---|---|---|
| committer | David Aspinall | 2006-09-24 15:31:15 +0000 |
| commit | 1238764f2bc4ff6dcfa697f05cbf76f7c67c7837 (patch) | |
| tree | f04a449fd85263b47802fc78fa6f415ec10ce536 /generic | |
| parent | 8b4ae66f0d8f18a4ad088a8403d8500f8d6ab0c4 (diff) | |
Tweaks to buffer history mode. Still intermediate version.
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 |