Resize the window to a new position and size.
This applies to the current active WindowProxy.
| Type | Intent | Optional | Attributes | Name | ||
|---|---|---|---|---|---|---|
| integer(kind=int32), | intent(in) | :: | x |
X-coordinate (in pixels) of the screen of the upper-right corner of the window. |
||
| integer(kind=int32), | intent(in) | :: | y |
Y-coordinate (in pixels) of the screen of the upper-right corner of the window. |
||
| integer(kind=int32), | intent(in) | :: | width |
Width of the window (in pixels). |
||
| integer(kind=int32), | intent(in) | :: | height |
Height of the window (in pixels). |