[Bug 1875179] Re: All Gnome Shell extensions disabled after Ubuntu 20.04 update and no way to enable them

2020-04-28 Thread Daniel van Vugt
*** This bug is a duplicate of bug 1718850 ***
https://bugs.launchpad.net/bugs/1718850

** This bug has been marked a duplicate of bug 1718850
   Gnome Tweaks: Extensions appear off by default and can't be toggled or 
configured

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

Title:
  All Gnome Shell extensions disabled after Ubuntu 20.04 update and no
  way to enable them

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

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

[Bug 1875179] Re: All Gnome Shell extensions disabled after Ubuntu 20.04 update and no way to enable them

2020-04-26 Thread Xavier Guillot
OK solved, when starting "Gnome Tweaks", on the Extensions part,
Extensions were disabled, if I enable them, they rework.

"Fixed".

** Changed in: gnome-shell (Ubuntu)
   Status: New => Invalid

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

Title:
  All Gnome Shell extensions disabled after Ubuntu 20.04 update and no
  way to enable them

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

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