resize-window ( world dim -- )


Vocabulary
ui

Inputs and outputs
worlda world
dima pair of integers: width and height


Word description
Resize the native window so that its contents area (called the "client area" in Windows) has the specified dimensions.

Definition


Methods