Window.beginResizeDragForDevice

Begins a window resize operation (for a toplevel window). You might use this function to implement a “window resize grip,” for example; in fact gtk.Statusbar uses it. The function works best with window managers that support the Extended Window Manager Hints

but has a fallback implementation for other window managers.

class Window
void
beginResizeDragForDevice

Parameters

edge GdkWindowEdge

the edge or corner from which the drag is started

device Device

the device used for the operation

button int

the button being used to drag, or 0 for a keyboard-initiated drag

rootX int

root window X coordinate of mouse click that began the drag

rootY int

root window Y coordinate of mouse click that began the drag

timestamp uint

timestamp of mouse click that began the drag (use Event.getTime)

Meta