height(File) -- get window height

Synopsis

• Function: height

• Usage:

  height f

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