Ubuntu
gnome-shell-extension-ubuntu-dock package

  1. Bug #2003024
  2. Comment #3

Comment 3 for bug 2003024

Revision history for this message
biguibi (biguibi) wrote :

Auto-hide was already disabled, however I've done as instructed in the other bug report and ran journalctl on /usr/bin/gnome-shell, I'll be attaching the parts of the log relevant to the time the bug happened.

I've pressed enter multiple times so there are multiple instances of "JS ERROR: TypeError: window is undefined"