Constant GDK_KEY_MediaTopMenu 

pub const GDK_KEY_MediaTopMenu: c_int = 268964459;