gdk:device-product-id (object)

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

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