Constant GDK_ENTER_NOTIFY_MASK 

pub const GDK_ENTER_NOTIFY_MASK: GdkEventMask = 4096;