[ Version ( since = "3.22" ) ]
public uint64 get_serial ()
Gets the serial number of this tool.
This value can be used to identify a physical tool (eg. a tablet pen) across program executions.
| this |
a `GdkDeviceTool` |
|
The serial ID for this tool |