Такой разный Gnome #2

1. https://pingvinus.ru/gallery/2500
2. Стандартный dash.
Кстати, больше настроек панели gnome можно найти в dconf по пути /org/gnome/shell/extensions/dash-to-dock/
Там и вид индикаторов запущенных приложений, и хот-кеи, и положение, и размер иконок, и действие при нажатии кнопок мыши, и скрыть показать панель, и прозрачность и многое другое.