Constant GDK_LEAVE_NOTIFY_MASK 

pub const GDK_LEAVE_NOTIFY_MASK: GdkEventMask = 8192;