From bd8d9a63e9057856c0b3ec2ab7f2f2274893a12a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 1 Jul 2010 21:23:59 +0000
Subject: plastic-shell-adjust-line-width: save-excursion ->
 with-current-buffer to avoid spurious warning in Emacs 23.2

---
 plastic/plastic.el | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/plastic/plastic.el b/plastic/plastic.el
index 047e20fb..3461dbb8 100644
--- a/plastic/plastic.el
+++ b/plastic/plastic.el
@@ -321,10 +321,8 @@ Given is the first SPAN which needs to be undone."
   "Use Plastic's pretty printing facilities to adjust output line width.
    Checks the width in the `proof-goals-buffer'
    ACTUALLY - still need to work with this. (pcc, may99)"
-   (and (buffer-live-p proof-goals-buffer)
-	(proof-shell-live-buffer)
-	(save-excursion
-	(set-buffer proof-goals-buffer)
+   (and (proof-shell-live-buffer)
+	(proof-with-current-buffer-if-exists proof-goals-buffer
 	(let ((current-width
 	       ;; Actually, one might sometimes
 	       ;; want to get the width of the proof-response-buffer
-- 
cgit v1.2.3