Ubuntu
gnome-shell package

  1. Bug #2028311
  2. Comment #9

Comment 9 for bug 2028311

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

No problem. The bug will expire automatically after 2 months if there are no further comments.

In future before reporting a bug against gnome-shell, please try deleting your local extensions first:

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

to confirm they are not to blame.