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
