pointer_ungrab

Description:

[ Version ( deprecated = true , deprecated_since = "3.0" , since = "2.2" ) ]
public void pointer_ungrab (uint32 time_)

Warning: pointer_ungrab is deprecated since 3.0.

Release any pointer grab.

Note:

Use ungrab, together with grab instead.

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