20.5.1.3 Windowsメニュー

Zoom Height
ウィンドウを標準サイズ(24x80)と最大の高さの間で切り替えます

このメニューの残りはすべての開いたウィンドウの名前の一覧になっています。一つを選ぶとそれを最前面に持ってくることができます(必要ならばアイコン化をやめさせます)

ご意見やご指摘をお寄せになりたい方は、 このドキュメントについて... をご覧ください。