[][src]Constant gdk_sys::GDK_DEVICE_TOOL_TYPE_LENS

pub const GDK_DEVICE_TOOL_TYPE_LENS: GdkDeviceToolType = 7;