Warning: grab_pointer_for_device is deprecated since 1.10.
Grabs all the pointer events coming from the device id
for actor
.
Use grab instead.
If id
is -1 then this function is equivalent to grab_pointer.
actor |
a Actor |
id_ |
a device id, or -1 |