get_device
Description:
public virtual unowned InputDevice get_device (
int device_id)
Retrieves the InputDevice with the given device_id
Parameters:
| this |
a DeviceManager
|
| device_id |
the integer id of a device
|
Returns:
|
a InputDevice or null. The returned device is owned by the
DeviceManager and should never be modified or freed
|