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