Device.getProductId

Returns the product ID of this device, or null if this information couldn't be obtained. This ID is retrieved from the device, and is thus constant for it. See [gdk.device.Device.getVendorId] for more information.