diff options
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 1ac5710e..0bf5e305 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -511,8 +511,8 @@ Ensure that point is visible in window." Auto deletion only affects selected frame. (We assume that the selected frame is the one showing the script buffer.)" (with-current-buffer buffer - ;; NB: useful optional arg to erase buffer is XEmacs specific, 8-(. (erase-buffer) + (set-buffer-modified-p nil) (if (eq buffer proof-response-buffer) (setq pg-response-next-error nil)) ; all error msgs lost! (if proof-delete-empty-windows |