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

   
   

   true

   If the event was sent by another client.
   

   false

   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.