Gdk.DeviceToolType.BRUSH – gdk-3.0 Reference Manual
BRUSH
Description:
BRUSH
Tool is a brush stylus.
2022 vala-language.org