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.
Parameters:
| this |
a Display.
|
| time_ |
a timestap (e.g. gdk_current_time).
|