Constant GDK_DEVICE_TOOL_TYPE_PENCIL

Source
pub const GDK_DEVICE_TOOL_TYPE_PENCIL: GdkDeviceToolType = 4;