Categorii: Îmbunătățirile desktop, Extensii shell gnome
Dock 1.0
Dock este o extensie GNOME Shell, care adaugă o stație de andocare, care permite utilizatorilor să lanseze cu ușurință aplicațiile lor preferate. Ea arată, de asemenea, rulează aplicații.Pentru a instala această extensie trebuie să aveți GNOME Shell...