GdkX11.x11_device_manager_lookup

function x11_device_manager_lookup(device_manager: GdkX11.X11DeviceManagerCore, device_id: Number(gint)): GdkX11.X11DeviceCore {
    // Gjs wrapper for gdk_x11_device_manager_lookup()
}

Returns the Gdk.Device that wraps the given device ID.

Since 3.2

device_manager

a Gdk.DeviceManager

device_id

a device ID, as understood by the XInput2 protocol

Returns

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