|
From: | GNU bug Tracking System |
Subject: | [debbugs-tracker] bug#35853: closed (gnome-tweaks unable to manage gnome shell extentions) |
Date: | Mon, 21 Oct 2019 01:39:01 +0000 |
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 ---
[Prev in Thread] | Current Thread | [Next in Thread] |