Device.getProductId

Returns the product ID of this device.

This ID is retrieved from the device, and does not change. See gdk.device.Device.getVendorId for more information.