move_resize

Description:

public void move_resize (int x, int y, int width, int height)

Equivalent to calling move and resize, except that both operations are performed at once, avoiding strange visual effects.

(i.e. the user may be able to see the window first move, then resize, if you don’t use move_resize.)

this	a Window
x	new X position relative to window’s parent
y	new Y position relative to window’s parent
width	new width
height	new height