Constant gdk_sys::GDK_LEAVE_NOTIFY_MASK

pub const GDK_LEAVE_NOTIFY_MASK: GdkEventMask = 8192;