pub const GDK_DEVICE_TOOL_TYPE_UNKNOWN: GdkDeviceToolType = 0;