diff options
Diffstat (limited to 'generic/proof.el')
| -rw-r--r-- | generic/proof.el | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/generic/proof.el b/generic/proof.el index 68560e0d..42d3b60c 100644 --- a/generic/proof.el +++ b/generic/proof.el @@ -189,9 +189,11 @@ Also ensures that point is visible." "Erase buffer and hide from display if proof-auto-delete-windows set. Auto deletion only affects selected frame. (We assume that the selected frame is the one showing the script buffer.)" - (erase-buffer buffer) - (if proof-auto-delete-windows - (delete-windows-on buffer t))) + (with-current-buffer buffer + ;; NB: useful optional arg to erase buffer is XEmacs specific, 8-(. + (erase-buffer) + (if proof-auto-delete-windows + (delete-windows-on buffer t)))) ;; utility function ;; FIXME da: maybe not used. Put into spare parts file. |