Earlier quoted context omitted.
File a bug per issue and it'll be fixed.
I don't use any of this software, I'm just responding to parent's question. But hopefully some GNOME developers are listening.
I appreciate the perspective you've provided.
GNOME 3.2 Released
51–52 of 52 posts
Re: GNOME 3.2 Released
#52I switched to gnome 3 and enjoy it so far on my ubuntu. I also like kde4.6....tried other desktops with pleasure too.
... good to see how bold choices created a diversified spectrum of of linux desktop.