Gdk.DeviceTool.hardware_id – gtk4 Reference Manual
hardware_id
Description:
public
uint64
hardware_id
{
get
;
construct
; }
The hardware ID of the tool.
2022 vala-language.org