Window.moveResize

void moveResize(int x, int y, int width, int height)

Equivalent to calling [gdk.window.Window.move] and [gdk.window.Window.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 [gdk.window.Window.moveResize].)

Parameters

xnew X position relative to window’s parent
ynew Y position relative to window’s parent
widthnew width
heightnew height