A very good Gnome Shell extension to provide a nice dash in the top bar.
A nice selection of Gnome Shell extensions to make your Gnome desktop much better and more usable.
A nice selection of Gnome Shell extensions to make your Gnome desktop much better and more usable.