Re: Extensions Panel on Gnome Menu Doesn't Do Anything--SOLVED

On 5/4/20 10:44 AM, Tim Evans 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. Unfortunately, it does nothing other than change from black to blue when clicked.  Is it

Re: Extensions Panel on Gnome Menu Doesn't Do Anything

On 5/4/20 11:54 AM, Greg Woods wrote: On Mon, May 4, 2020 at 8:45 AM Tim Evans > 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

Re: Extensions Panel on Gnome Menu Doesn't Do Anything

On Mon, May 4, 2020 at 8:45 AM Tim Evans 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

Extensions Panel on Gnome Menu Doesn't Do Anything

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. Unfortunately, it does nothing other than change from black to blue when clicked. Is it supposed to do something else? -- Ti