Gdk.pointerUngrab

Ungrabs the pointer on the default display, if it is grabbed by this application.

class Gdk

static

void

pointerUngrab

(

uint time

)

Parameters

time uint: a timestamp from a GdkEvent, or GDK_CURRENT_TIME if no timestamp is available.

Meta

Source

See Implementation