Venho brincando com problemas semelhantes: a barra de favoritos do Gnome estava aparecendo na exibição de atividades e o dock estava aparecendo na tela de bloqueio; como diz pomsky, todos esses problemas estão associados à combinação do Ubuntu Dock e do Dash to Dock.
Encontrei esta solução alternativa para personalizar o dock com quase todas as opções que o Dash to Dock oferece:
- Instale o Dash to Dock.
- Faça toda a sua personalização.
- Remova o Dash to Dock (em https://extensions.gnome.org/local/ ).
- Logout e login.
Embora o Dash to Dock tenha sido removido, a personalização (posição, tamanho, comportamento, aparência) persiste no Dock do Ubuntu e os problemas (docas sobrepostas, programas de encaixe na tela de bloqueio e programas favoritos na exibição de atividades) não estão mais presentes.
Notas: com esse método, a única coisa que você perdeu do Dash para o Dock é o menu "Configurações do Dash to Dock" no ícone de aplicativos e, é claro, a entrada de configurações do Dash to Dock na Gnome Tweak Tool. Ainda não tentei, mas acho que se você fizer uma alteração na entrada do Dock nas configurações do Ubuntu, alguma personalização realizada com as configurações do Dash para o Dock será perdida.
sudo apt remove gnome-shell-extension-ubuntu-dock
. Foi o que acabei fazendo para resolver problemas como este. Tchau tchau!