From 7911edd7f10cd80890d68760750b3a39bc8fbd89 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Nov 1998 12:54:17 +0000
Subject: Note about suspected bug in lego-shell-adjust-line-width.

---
 lego/lego.el | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/lego/lego.el b/lego/lego.el
index 9c35572e..a15c2581 100644
--- a/lego/lego.el
+++ b/lego/lego.el
@@ -323,6 +323,9 @@ Given is the first SPAN which needs to be undone."
     (set-buffer proof-shell-buffer)
     (and (proof-shell-live-buffer)
 	 (let ((current-width
+		;; FIXME da: I suspect this is the wrong window to
+		;; check the width of.  Probably we want the width
+		;; of proof-pbp-buffer?
 		(window-width (get-buffer-window proof-shell-buffer))))
 	   (if (equal current-width lego-shell-current-line-width) ()
 	     ; else
-- 
cgit v1.2.3