diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-07-01 21:19:02 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-07-01 21:19:02 +0000 |
commit | a9357a6e1a255e1955d917d608378966815a89a6 (patch) | |
tree | aa77a70f1e8461d0a8f8b5a37558c4fc013526a3 /isar/isar.el | |
parent | 8dedd5415de018e4ff901faec0fd5e3f02d24781 (diff) |
isar-shell-adjust-line-width: save-excursion -> with-current-buffer to avoid
spurious warning in Emacs 23.2
Diffstat (limited to 'isar/isar.el')
-rw-r--r-- | isar/isar.el | 4 |
1 files changed, 1 insertions, 3 deletions
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. |