diff options
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/proof.el b/generic/proof.el index f23c21dc..4fff00f9 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -417,13 +417,13 @@ Ensure that point is visible in window." (recenter -1))))))) (defun proof-clean-buffer (buffer) - "Erase buffer and hide from display if proof-auto-delete-windows set. + "Erase buffer and hide from display if proof-delete-empty-windows set. 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) - (if proof-auto-delete-windows + (if proof-delete-empty-windows (delete-windows-on buffer t)))) (defun proof-message (&rest args) |