** Also affects: upstart (Ubuntu)
Importance: Undecided
Status: New
--
You received this bug notification because you are a member of Ubuntu
Touch seeded packages, which is subscribed to upstart in Ubuntu.
https://bugs.launchpad.net/bugs/1236749
Title:
Gnome shell extensions disabled at every startup
Status in Ubuntu GNOME:
Confirmed
Status in “gnome-shell” package in Ubuntu:
Confirmed
Status in “upstart” package in Ubuntu:
New
Bug description:
Since gnome-shell 3.10, my extensions are disabled by default at every boot.
I need to launch Tweak Tool to enable theme by hand every time.
Both pre-installed extensions ( AlternateTab) and user-installed ones
(top-icons)
Step to reproduce :
Enable an extension in Tweak Tool ( Alternate Tab for example)
reboot computer,
open Tweak Tool : Alternate tab is disabled.
Running on Ubuntu 13.10
GNOME Shell 3.10.0.1
gnome-tweak-tool 3.10..0-0ubuntu1-saucy1
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu-gnome/+bug/1236749/+subscriptions
--
Mailing list: https://launchpad.net/~touch-packages
Post to : touch-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~touch-packages
More help : https://help.launchpad.net/ListHelp
