On 5/4/20 11:54 AM, Greg Woods wrote:
On Mon, May 4, 2020 at 8:45 AM Tim Evans <tkevans@xxxxxxxxxxx <mailto:tkevans@xxxxxxxxxxx>> wrote:The drop-down gnome shell menu in F32 (upper right hand corner of the desktop) has a new "Extensions" panel now. It's very prominent, with an extra large @-like icon.I do not see this on my freshly-upgraded-to-F32 laptop. You must have a setting, extension, or app that I do not.
Well, I assume this is intended to manage installed Gnome shell extensions (https://extensions.gnome.org/), a handful of which I have installed.
-- Tim Evans | 5 Chestnut Court | Owings Mills, MD 21117 | 443-394-3864 _______________________________________________ users mailing list -- users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/users@xxxxxxxxxxxxxxxxxxxxxxx
