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.)

Parameters:

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