Ubuntu
mutter package

  1. Bug #1918122
  2. Comment #3

Comment 3 for bug 1918122

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

If the problem does still happen then please run:

  cd ~/.local/share/gnome-shell/
  rm -rf extensions

and reboot again. If the problem continues to happen after that then please run:

  gsettings get org.gnome.shell enabled-extensions > ext.txt

and attach the resulting text file here.