diff options
| author | David Aspinall | 2002-08-30 17:20:57 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-30 17:20:57 +0000 |
| commit | 347fafc730e5ee97957208f6d3fe79566da61da7 (patch) | |
| tree | f62d4a7bb7b696dfc7f1219298f68d4dc95bedcf /generic/proof-utils.el | |
| parent | 30ca25249ad9a3baec74476e07730203a98c293e (diff) | |
Tidy display
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 |