Ich finde die Arbeit mit der GNOME Shell klasse, doch wie ich bereits gestern in einem Kommentar schrieb, stößt das Konzept der GNOME Shell bei der Arbeit, wo viele Wechsel zwischen mehreren Anwendungen nötig sind, an seine Grenzen.
Prinzipiell besteht die Möglichkeit, jede Art von Dock oder ähnlichem nachzuinstallieren. Diese, z.B. Docky, können zwar sehr viel, integrieren sich aber nicht sehr gut in das System. So zeigen sie nicht die Favoriten der GNOME Shell an und auch optisch wirken sie sehr oft wie Fremdkörper.
Heute stieß ich allerdings auf eine Erweiterung, die mir bis jetzt sehr gut gefällt: Dash to Dock. Dash to Dock hat sinnvolle Voreinstellungen und integriert sich perfekt in die GNOME Shell. Dash to Dock ist auch recht gut konfigurierbar. Ein paar Bildchen sollten euch das recht gut näher bringen.
Eine recht interessante Funktion, die mir gerade aufgefallen ist, ist standardmäßig deaktiviert. So ist unter Customization aktivierbar, dass ein Scrollen auf dem Dock zu einem Wechsel der Arbeitsfläche führt. Das macht das Arbeiten mit virtuellen Desktops wirklich flotter und angenehmer.
Probiert Dash to Dock einfach mal aus. Das Dock hält sich an alle „GNOME-Gesetze“, sodass man meinen könne, das Ding gehöre offiziell zu GNOME. Vielleicht wird es das ja irgendwann ja auch, wer weiß. Auf jeden Fall bin ich mir sicher, dass die Erweiterung innerhalb der nächsten Wochen zu einer der beliebtesten Erweiterung auf extensions.gnome.org aufsteigen wird. Und? Gefällts?
Schreibe einen Kommentar