[Bug 1878711] Re: Preinstalled extensions cannot be disabled using gnome-tweak-tool

2021-03-31 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 o

[Bug 1878711] Re: Preinstalled extensions cannot be disabled using gnome-tweak-tool

2020-05-27 Thread Paul White
** Package changed: gnome-tweak-tool (Ubuntu) => gnome-tweaks (Ubuntu) ** Tags added: focal -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1878711 Title: Preinstalled extensions cannot be disabled u