diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2005-08-14 15:46:35 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2005-08-14 15:46:35 +0000 |
commit | f174885165e05cdd4a6655a49ac29db948029bf9 (patch) | |
tree | ed396fbddf3fa8aa4c513334b8402f8649d5a496 | |
parent | 44046f344d313e179f325530541dd6c233da0871 (diff) |
Fix plastic-shell-adjust-line-width for mutliple frame mode.
-rw-r--r-- | plastic/plastic.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plastic/plastic.el b/plastic/plastic.el index f08e7146..debbc1a5 100644 --- a/plastic/plastic.el +++ b/plastic/plastic.el @@ -325,7 +325,7 @@ Given is the first SPAN which needs to be undone." ;; 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 plastic-shell-current-line-width) () ; else |