On 5/4/20 11:54 AM, Greg Woods wrote:
On Mon, May 4, 2020 at 8:45 AM Tim Evans <tkevans(a)tkevans.com
<mailto:tkevans@tkevans.com>> 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