I avoided Gnome for exactly that reason for years but the shell extensions for gnome have improved a lot and it's pretty flexible now. If you don't mind depending on the addin authors maintaining your favorites.Dash to panel or dock is virtually a whole different UI.
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
replies: