gdkPointerUngrab: gdkPointerUngrab
Description
Ungrabs the pointer, if it is grabbed by this application.Usage
gdkPointerUngrab(time = "GDK_CURRENT_TIME")
Arguments
time
[numeric] a timestamp from a GdkEvent, or GDK_CURRENT_TIME if no
timestamp is available.