Re: Extension: Auto Hide Top Panel

[yago <yagonuchera hotmail com>]

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!