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 gnome-list@xxxxxxxxx http://mail.gnome.org/mailman/listinfo/gnome-list
