gdk:device-tool-serial (object)

object -- a gdk:device-tool object
serial -- an unsigned integer with the serial number of the device tool

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