Исправление Ip0, 07.11.17 19:25 (текущая версия) :
Нет, там стоит gnome-shell-extension-ubuntu-dock (который вероятно сделан из dash to dock)
Исходная версия Ip0, 07.11.17 19:24:
Нет, там стоит gnome-shell-extension-ubuntu-dock