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