Constant GDK_DEVICE_TOOL_TYPE_PEN

Source
pub const GDK_DEVICE_TOOL_TYPE_PEN: GdkDeviceToolType = 1;