ungrab_pointer_for_device
Description:
[ Version ( deprecated = true , deprecated_since = "1.10" , since = "0.8" ) ]
public void ungrab_pointer_for_device (int id_)
Warning: ungrab_pointer_for_device is deprecated since 1.10.
Removes an existing grab of the pointer events for device id_
.
Note:
Use ungrab instead.
Parameters:
id_ |
a device id |
Namespace: Clutter
Package: clutter-1.0