Retrieves the InputDevice with the given device_id
| this | |
| device_id |
the integer id of a device |
|
a InputDevice or null. The returned device is owned by the DeviceManager and should never be modified or freed |