Same issue with Ubuntu Gnome 13.10, Gnome 3.10 here. Have to try out
C.Robinson(panacier)' solution and see what happens.

Marking it as affecting me.
Also, Gnome Tweak Tool crashes randomly on startup, already reported !

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1236749

Title:
  Gnome shell extensions disabled at every startup

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1236749/+subscriptions

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to