next up previous contents index
Next: window_width Up: Windows Previous: raise_window

window_height

  int window_height()

Returns the current window height (number of lines in current page).



Lionel Fournigault
Mon Dec 15 10:53:26 MET 1997