|Subject:||bug#35853: gnome-tweaks unable to manage gnome shell extentions|
|Date:||Tue, 21 May 2019 22:51:04 -0400 (EDT)|
|User-agent:||Alpine 2.20 (DEB 67 2015-01-07)|
Hello Guix,Today I noticed that gnome-tweaks in unable to manage gnome shell extensions. I have the gnome-shell-extensions package installed in my profile, but the extensions tab in tweaks says, "no extensions installed". However extensions are installed, and the two extensions I enabled previously continue to function.
Unfortunately, I don't know when it stopped working. The last time that I know it worked the gnome-tweaks package was called gnome-tweak-tool.
I tried running gnome-tweaks from a terminal, but that didn't show anything obvious.
|[Prev in Thread]||Current Thread||[Next in Thread]|