This bug is closed so if you still experience any problems then please open a new one by running:
ubuntu-bug gnome-shell
This bug is closed so if you still experience any problems then please open a new one by running:
ubuntu-bug gnome-shell