resize-window ( world dim -- )


Vocabulary
ui

Inputs
worlda world
dima pair of integers: width and height


Outputs
None

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

Definition


Methods