Window.moveResize

Equivalent to calling gdk_window_move() and gdk_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_move_resize().)

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

Parameters

x int

new X position relative to window's parent

y int

new Y position relative to window's parent

width int

new width

height int

new height

Meta