on-size

Called when the window is resized. The window's new size 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.