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/proof-utils.el | |
| parent | 8b4ae66f0d8f18a4ad088a8403d8500f8d6ab0c4 (diff) | |
Tweaks to buffer history mode. Still intermediate version.
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 |