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?
--
Tim Evans |5 Chestnut Court
443-394-3864 |Owings Mills, MD 21117