gdk:device-tool-serial (object)

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

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