micheleg

Ein Dock für die Gnome Shell. Diese Erweiterung verschiebt das Dash aus der Übersicht und verwandelt es in ein Dock zum einfacheren Starten von Anwendungen und schnelleren Wechseln zwischen Fenstern und Desktops.