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