Ungrabs the pointer on the default display, if it is grabbed by this application.
a timestamp from a #GdkEvent, or gdk.types.CURRENT_TIME if no timestamp is available.
Deprecated: Use gdk.device.Device.ungrab, together with gdk.device.Device.grab instead.
Ungrabs the pointer on the default display, if it is grabbed by this application.