diff options
| -rw-r--r-- | isar/isar.el | 2 |
1 files changed, 1 insertions, 1 deletions
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) |