Ungrabs the pointer on the default display, if it is grabbed by this application.
gdkPointerUngrab(time = "GDK_CURRENT_TIME")
time
a timestamp from a GdkEvent, or GDK_CURRENT_TIME if no timestamp is available.
GdkEvent
GDK_CURRENT_TIME
Derived by RGtkGen from GTK+ documentation