Constant GDK_FOCUS_CHANGE_MASK 

pub const GDK_FOCUS_CHANGE_MASK: GdkEventMask = 16384;