A Gnome Shell extension to provide a global application menu. - View it on GitHub