Ubuntu
gnome-shell-extension-ubuntu-dock package

  1. Bug #1766710
  2. Comment #2

Comment 2 for bug 1766710

Revision history for this message
Daniel van Vugt (vanvugt) wrote : Re: Dock and Headerbar backgrounds not coordinated

I can't seem to be able to reproduce the problem (in Ubuntu 18.04).

Please run this command to give us more information about your system:

  apport-collect 1766710