From 44046f344d313e179f325530541dd6c233da0871 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 14 Aug 2005 15:46:09 +0000
Subject: Fix isar-shell-adjust-line-width for mutliple frame mode.

---
 isar/isar.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isar/isar.el b/isar/isar.el
index 0015e98e..b0ac82d3 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -556,7 +556,7 @@ Checks the width in the `proof-goals-buffer'"
                   ;; Actually, one might sometimes
                   ;; want to get the width of the proof-response-buffer
                   ;; instead. Never mind.
-                  (max 20 (window-width (get-buffer-window proof-goals-buffer)))))
+                  (max 20 (window-width (get-buffer-window proof-goals-buffer t)))))
 
              (if (equal current-width isar-shell-current-line-width) ()
                (setq isar-shell-current-line-width current-width)
-- 
cgit v1.2.3