diff options
| author | David Aspinall | 2005-08-14 15:46:09 +0000 |
|---|---|---|
| committer | David Aspinall | 2005-08-14 15:46:09 +0000 |
| commit | 44046f344d313e179f325530541dd6c233da0871 (patch) | |
| tree | 2915f6744556f3c78fd4218561b68cf0cbeb6447 | |
| parent | 5ca2f7a488c21965322687369d0f9115cfe40a62 (diff) | |
Fix isar-shell-adjust-line-width for mutliple frame mode.
| -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) |