Ubuntu
gnome-shell package

  1. Bug #1961508
  2. Comment #68

Comment 68 for bug 1961508

Revision history for this message
Marek Hajduczenia (mxhajduczenia) wrote :

The auto-hide "workaround" does not work well in case of machines that are being accessed remotely - then it is next to impossible to trigger the dock to show up.
Why is such a simple and reproducible bug still around after such a long time>