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).
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).