lookup_for_device_manager

Description:

[ CCode ( cname = "gdk_x11_device_manager_lookup" ) ]
[ Version ( since = "3.2" ) ]
public static unowned DeviceCore? lookup_for_device_manager (DeviceManagerCore device_manager, int device_id)

Returns the Device that wraps the given device ID.

Parameters:

device_manager	a DeviceManager
device_id	a device ID, as understood by the XInput2 protocol

Returns:

The Device wrapping the device ID, or null if the given ID doesn’t currently represent a device.