[Desktop-packages] [Bug 1718850] Re: Gnome Tweaks: Extensions appear off by default and can't be toggled or configured

2020-05-25 Thread Daniel van Vugt
** No longer affects: gnome-shell (Ubuntu) -- 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/1718850 Title: Gnome Tweaks: Extensions appear off by default and can't be toggled or

[Desktop-packages] [Bug 1718850] Re: Gnome Tweaks: Extensions appear off by default and can't be toggled or configured

2020-05-09 Thread Robert
Leaving the system and coming back, it was fine and the extensions worked again. Possibly a side effect of bug 1876641 (high memory usage?) -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell in Ubuntu.

[Desktop-packages] [Bug 1718850] Re: Gnome Tweaks: Extensions appear off by default and can't be toggled or configured

2020-05-09 Thread Robert
My system is currently in a state where changes in gnome-shell- extension-prefs also aren't sticking.The toggle toggles, but extension isn't activated. Not sure if this is a different bug or the same one. -- You received this bug notification because you are a member of Desktop Packages,