Для Gnome-Shell я пробовал такой доклет:
https://extensions.gnome.org/extension/105/panel-docklet/У него много вариантов представлений, есть и подобный dockbarx.
Только меня доки почему-то перестали радовать после 10.10... с 10.04 был Cairo-Dock до 11.10
А потом появился unity... Поискал альтернативы и сидел на gnome-shell до 12.04
От gnome-fallback и вариантов типа mate и подобия cinnamon не получил того, чего хотелось.
Сейчас понял, что в 12.04 неплох KDE, если машина тянет.
Если не особо - то и с юнити можно жить, но сам чаще пользуюсь gnome-shell, ибо памяти кушает меньше и работает шустрее.
После добавления расширений стало вполне нормально.