From e6860a080a4dcc3cbd43c5fbf1904eae0ba190cd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Nov 1998 13:02:33 +0000
Subject: FSF Emacs fix for buffer-file-truename, which is the *abbreviated*
 form of file-truename!

---
 generic/proof.el | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'generic/proof.el')

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.
-- 
cgit v1.2.3