A simple Gnome-Shell Extension