pub const GDK_DEVICE_TOOL_TYPE_PEN: GdkDeviceToolType = 1;