From a9357a6e1a255e1955d917d608378966815a89a6 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 1 Jul 2010 21:19:02 +0000 Subject: isar-shell-adjust-line-width: save-excursion -> with-current-buffer to avoid spurious warning in Emacs 23.2 --- isar/isar.el | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'isar/isar.el') diff --git a/isar/isar.el b/isar/isar.el index e0fa7362..9d493fb3 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -535,9 +535,7 @@ selected.") Checks the width in the `proof-goals-buffer'" (let ((ans "")) (and (not proof-shell-silent) - (buffer-live-p proof-goals-buffer) - (save-excursion - (set-buffer proof-goals-buffer) + (proof-with-current-buffer-if-exists proof-goals-buffer (let ((current-width ;; Actually, one might want the width of the ;; proof-response-buffer instead. Never mind. -- cgit v1.2.3