on-size in window<%>

Called when the window is resized. The window's new size (in pixels) is provided to the method. The size values are for the entire window, not just the client area.

• (send a-window on-size width height) -> void
     width : exact integer in [0, 10000]
     height : exact integer in [0, 10000]

  Does nothing.