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.
(-> voidsenda-top-level-windowresizewidthheight)
width: exact integer in [0, 10000]
height: exact integer in [0, 10000]