20.5.1.3 Windows menu

Zoom Height
toggles the window between normal size (24x80) and maximum height.

The rest of this menu lists the names of all open windows; select one to bring it to the foreground (deiconifying it if necessary).

See About this document... for information on suggesting changes.