Ubuntu
gnome-shell-extension-desktop-icons package

  1. Bug #1867806
  2. Comment #10

Comment 10 for bug 1867806

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

This should only happen if your dock is set to automatically hide. Is that set?