[Desktop-packages] [Bug 1236749] Re: Gnome shell extensions disabled at every startup
*** This bug is a duplicate of bug 1385572 *** https://bugs.launchpad.net/bugs/1385572 This bug is closed as a duplicate of bug 1385572 which is also closed. If you have any problems in 19.04 then please open a new bug. -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell 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: Confirmed 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/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
[Desktop-packages] [Bug 1236749] Re: Gnome shell extensions disabled at every startup
*** This bug is a duplicate of bug 1385572 *** https://bugs.launchpad.net/bugs/1385572 Confirming this on 19.04-development, not only after every new boot but also after suspend. -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell 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: Confirmed 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/~desktop-packages Post to : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
