get_serial

Description:

public uint64 get_serial ()

Gets the serial number of this tool.

This value can be used to identify a physical tool (eg. a tablet pen) across program executions.

Parameters:

this

a `GdkDeviceTool`

Returns:

The serial ID for this tool