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