window_min_height (win: WINDOW): INTEGER
Returns the minimum height that window win can have. You can set minimum height with set_window_min_size.
window_min_width
set_window_max_size
set_window_min_size
window and frame functions
Window_Manager
script setup_main_window is make_window ('main') set_window_min_size ('main', 400, 300) set_window_max_size ('main', window_min_width ('main') + 100, window_min_height ('main') + 100) end