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
Fri Nov 6 17:00:30 MET 1998