Resize window.

Note that the width and height of the window are NOT instantly updated - it waits for the window manager to approve the resize request, which means you must return to the event loop before the width and height are actually changed.