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