Constant GDK_LEAVE_NOTIFY 

pub const GDK_LEAVE_NOTIFY: GdkEventType = 7;