get_device_id


Description:

[ Version ( since = "1.0" ) ]
public int get_device_id ()

Retrieves the unique identifier of this

Parameters:

this

a InputDevice

Returns:

the identifier of the device




2022 vala-language.org