Window.beginResizeDragForDevice

void beginResizeDragForDevice(gdk.types.WindowEdge edge, gdk.device.Device device, int button, int rootX, int rootY, uint timestamp)

Begins a window resize operation (for a toplevel window). You might use this function to implement a “window resize grip,” for example; in fact #GtkStatusbar 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.

Parameters

edgethe edge or corner from which the drag is started
devicethe device used for the operation
buttonthe button being used to drag, or 0 for a keyboard-initiated drag
rootXroot window X coordinate of mouse click that began the drag
rootYroot window Y coordinate of mouse click that began the drag
timestamptimestamp of mouse click that began the drag (use [gdk.event.Event.getTime])