Gdk.DeviceTool.tool_type – gdk-3.0 Reference Manual
tool_type
Description:
public
DeviceToolType
tool_type
{
get
;
construct
; }
2022 vala-language.org