I was shocked and dismayed when I was setting up a new (Fedora 16) system for a friend and the error I got from the extension page was that the auto hide top panel was not compatible with my version of Gnome 3. And if you go to the general extensions site, you can't find it anymore.
https://extensions.gnome.org/extension/42/auto-hide-top-panel/version/99/
What. The. Hell?
And not only that, the noa11y was not available either. These are my two most favorite extensions. In fact, I dare say that if they were eliminated from Gnome 3, I would change to a different Windows manager because I find the very pleasing.
So my question is:
What happened to the auto-hide-top-panel and noa11y?
Shouldn't there be some log, some site that says "hey, we removed it because ......"
_______________________________________________ gnome-list mailing list gnome-list@xxxxxxxxx http://mail.gnome.org/mailman/listinfo/gnome-list
