diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2005-08-14 15:48:37 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2005-08-14 15:48:37 +0000 |
| commit | 505dca719f0a45988cfa0252ea01768424d83b45 (patch) | |
| tree | c02a573a0568b7865a5beb507418f881c3ca1868 /lego | |
| parent | f174885165e05cdd4a6655a49ac29db948029bf9 (diff) | |
Fix lego-shell-adjust-line-width for mutliple frame mode.
Diffstat (limited to 'lego')
| -rw-r--r-- | lego/lego.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lego/lego.el b/lego/lego.el index d5b882b9..1a6c10dd 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -285,7 +285,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. - (window-width (get-buffer-window proof-goals-buffer)))) + (window-width (get-buffer-window proof-goals-buffer t)))) (if (equal current-width lego-shell-current-line-width) () ; else (setq lego-shell-current-line-width current-width) |