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