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