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