gnome-shell-extension-dash-to-dock src f3f27dd972c87f024a9dd86efea2db3c0a00b264876bf40b55c70de37e14eb2a Dock for the Gnome Shell by micxgx@gmail.com This extension enhances the dash moving it out of the overview and transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops without having to leave the desktop view. angrypenguin <angrypenguinpoland@gmail.com> https://micheleg.github.io/dash-to-dock