resize_request Event

The fields that can be unified in resize_request events are:

  1. type(T) unifies T with resize_request.
  2. serial(S) unifies S with the serial number of the last request processed by the server.
  3. send_event(B) unifies B, a boolean value, with one of

    If the event was sent by another client.
    If the event was sent by the server.
  4. display(D) unifies D with the ProXL Display the event was read from.
  5. window(W) unifies W with the ProXL Window whose size is being changed.
  6. width(W) unifies W with the requested width in pixels of the window.
  7. height(H) unifies H with the requested height in pixels of the window.
  8. size(W, H) unifies W and H with the requested width and height in pixels, respectively, of the window.