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