pub const GDK_DEVICE_TOOL_TYPE_PENCIL: GdkDeviceToolType = 4;