gdk:device-product-id (object)

object -- a gdk:device object
product-id -- a string for the product ID

The accessor for the product-id slot of the gdk:device class returns the product ID of this device, or nil if this information could not be obtained. This ID is retrieved from the device, and is thus constant for it. See the gdk:device-vendor-id function for more information.