pointer_ungrab

Description:

public void pointer_ungrab (uint32 time_)

Release any pointer grab.

Note:

Use gdk_device_ungrab, together with gdk_device_grab instead.

this	a Display.
time_	a timestap (e.g. gdk_current_time).