Constant GDK_KEY_TopMenu 

pub const GDK_KEY_TopMenu: c_int = 269025186;