[ Version ( deprecated = true , deprecated_since = "1.10" , since = "0.8" ) ]
public void grab_pointer_for_device (Actor actor, int id_)
Warning: grab_pointer_for_device is deprecated since 1.10.
Grabs all the pointer events coming from the device
Use grab instead.
id is -1 then this function is equivalent to grab_pointer.
a device id, or -1