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 supposed to do something else?
So, this turns out to be an issue with a Gnome Shell Extension called
"Extensions" (https://extensions.gnome.org/extension/1036/extensions/).
While I have several such extensions installed, this one was NOT
installed prior to upgrading my system to F32; it apparently came with
the F32 upgrade. It appeared on the top panel menu after the update
and, as noted, did not work and was graphically distorted.
When accessing this particular extension's web page, I was prompted to
update it. After logging out/in (e.g., restarting Gnome Shell) the
over-large icon for the extension on the drop-down menu was properly
sized and clicking it opens a menu of installed extensions to manage.
--
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
