get_serial


Description:

[ Version ( since = "3.22" ) ]
public uint64 get_serial ()

Gets the serial of this tool, this value can be used to identify a physical tool (eg.

a tablet pen) across program executions.

Parameters:

this

a DeviceTool

Returns:

The serial ID for this tool




2022 vala-language.org