An extension for the gnome-shell allowing execution of custom actions (gnome-do like).
Primary LanguageJavaScript