[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[no subject]

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.