height(File) -- get window height

Synopsis

• Usage:

  height f

• Function: height
• Inputs:

  • f, a file
• Outputs:

  • an integer, the height of the window or terminal attached to the file f, if any, else 0