pub const GDK_DEVICE_TOOL_TYPE_MOUSE: GdkDeviceToolType = 6;