gdk:device-tool-serial (object)

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

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