Toplevel.beginResize

void beginResize(gdk.types.SurfaceEdge edge, gdk.device.Device device, int button, double x, double y, uint timestamp)

Begins an interactive resize operation.

You might use this function to implement a “window resize grip.”

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
xsurface X coordinate of mouse click that began the drag
ysurface Y coordinate of mouse click that began the drag
timestamptimestamp of mouse click that began the drag (use [gdk.event.Event.getTime])