I've also been looking for this extension and I have finally found a link to a working version, here it is: <http://www.fpmurphy.com/gnome-shell-extensions/autohidetopbar-2.0.tar.gz> As it happens, this guy has a few other extensions in that directory that you may find useful.
enjoy! _______________________________________________ gnome-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-list
