diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-22 18:55:53 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-22 18:55:53 +0000 |
| commit | 5d60f79b6c6b48bc79d5ef121e8a3057cff29ca6 (patch) | |
| tree | e237e5d59a53b106a7d298fac468e246d8a854f6 /generic/proof.el | |
| parent | e4ce3196f9e265b43dc85e2b21097890ad7b152a (diff) | |
Renamed proof-auto-delete-windows -> proof-delete-empty-windows
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) |