resize in top-level-window<%>
Sets the size of the window (in pixels), but only if the given size is larger than the window's minimum size.
A window's size can be changed
by the user, and such changes do not go through this method; use on-size to
monitor size changes.
( -> void
send a-top-level-window resize width height)
width : exact integer in [0, 10000]
height : exact integer in [0, 10000]