const gchar* gdk_device_get_product_id ( GdkDevice* device )
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
gdk_device_get_vendor_id() for more information.
Available since: 3.16