A Gnome Shell extension to provide a global application menu.
Primary LanguageJavaScriptGNU General Public License v2.0GPL-2.0