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