pointerUngrab

fnvoid pointerUngrab(uint time)

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

Parameters

timea timestamp from a #GdkEvent, or gdk.types.CURRENT_TIME if no timestamp is available.

Deprecated