Public bug reported:
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
** Affects: gnome-shell (Ubuntu)
Importance: Undecided
Status: New
** Tags: gnome-shell
--
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
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
