Gdk.Device.tool – gtk4 Reference Manual
tool
Description:
[
NoAccessorMethod
]
public
DeviceTool
tool
{
owned
get
; }
The `GdkDeviceTool` that is currently used with this device.
2022 vala-language.org