window_height

Declaration

window_height (win: WINDOW): INTEGER

Description

Returns the height of win.

See Also

set_window_area
window_bottom
window_left
window_right
window_top
window_width
window and frame functions
Window_Manager

Example

script resize_window is
  -- resize the window without moving it
  set_window_area ('main', window_left ('main'), 
                           window_top ('main'),
                           window_width ('main') + 10
                           window_height ('main') + 10)
end