[debbugs-tracker] bug#35853: closed (gnome-tweaks unable to manage gnome shell extentions)

[GNU bug Tracking System]

Your message dated Sun, 20 Oct 2019 21:37:53 -0400 (EDT)
with message-id <address@hidden>
and subject line gnome-tweaks can now manage gnome-extentions
has caused the debbugs.gnu.org bug report #35853,
regarding gnome-tweaks unable to manage gnome shell extentions
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
35853: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=35853
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> 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.
>
> Best,
> Jack
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> gnome-tweaks can now manage gnome-extentions
>
>
>
>
> Date: 
>
> Sun, 20 Oct 2019 21:37:53 -0400 (EDT)
>
>
>
>
> User-agent: 
>
> Alpine 2.20 (DEB 67 2015-01-07)
>
>
>
>
> Hi Guix,
>
> After the recent core-updates merge and update to gnome 3.30, the 
> gnome-tweaks extension management is working again. Closing issue.
>
> Best,
> Jack
>
>
> --- End Message ---