gdk:device-tool-serial (object)

object -- a gdk:device-tool object
serial -- an unsigned integer with the serial ID for the device tool

Accessor of the serial slot of the gdk:device-tool class. The gdk:device-tool-serial function gets the serial of the device tool, the value can be used to identify a physical tool, for example, a tablet pen, across program executions.