In my system, the dock is set to hide automatically, but it does not
hide and also partially covers the desktop icons. I'm using Ubuntu 18.04
64bit, everything up to date (gnome-shell-extension-ubuntu-dock version
0.9.1).
** Attachment added: "Screenshot"
I'm in Ubuntu 12.04 beta. Seven years after first reported, this bug remains.
Rhythmbox is a great player, but this feature lacks a lot.
apt-get remove rhythmbox
apt-get install (guayadeque|banshee| ...)
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs,
