diff options
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. |