[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[no subject]
- To: (BUG ZWEI) at MIT-AI
- Subject:
- From: MOON@MIT-AI (Sent by MOON0@MIT-AI)
- Date: Wed ,29 Mar 79 16:49:36 EDT
If the typeout window adjusted its size to the amount it
was using, this would allow you to reselect the main window with the mouse. This is
independent of whether or not the main window shrinks to avoid being de-exposed by the
typeout window; if it does it wouldn't wait for a space, but FORM or something would
flush the typeout window and re-grow the main window.