minor bug zwei

[Mike McMahon <MMcM at MIT-AI>]

    Date:  7 AUG 1980 0251-EDT
    From: Moon at MIT-AI (David A. Moon)
    Getting the system menu while the typeout window is active flushes the typeout
    window.  Other forms of mouse clicking over the visible part of the editor window
    should do this, but not double-click-right.
Really?  Not for me, either when clicked over the typeout area or the
editor area.  Did you have to do something else too?