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-shell.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'generic/proof-shell.el')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index facf8700..78b710da 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -447,7 +447,10 @@ If FORCE, override proof-shell-erase-response-flag."
   (if (or proof-shell-erase-response-flag force)
       (if clean-windows
 	  (proof-clean-buffer proof-response-buffer)
-	(erase-buffer proof-response-buffer)))
+	;; NB: useful optional arg to erase buffer is XEmacs specific, 8-(.
+	;; (erase-buffer proof-response-buffer)
+	(with-current-buffer proof-response-buffer
+	  (erase-buffer))))
   (setq proof-shell-erase-response-flag erase-next-time))
 		  
 
-- 
cgit v1.2.3