set_window_size


Description:

public void set_window_size (int width, int height)

Sets the size of the window, taking into account any window border.

This corresponds to the window's available area for its child, minus the area occupied by the window's toolbar, if it's enabled.

Note:

Setting the window size may involve a request to the underlying windowing system, and may not immediately be reflected.

Parameters:

this

A Window

width

A width, in pixels

height

A height, in pixels