Gdk.pointerUngrab

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

struct Gdk

static

void

pointerUngrab

(

uint time

)

Parameters

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

Detailed Description

Deprecated: Use Device.ungrab, together with Device.grab instead.