don't use this package, use this one instead:
https://aur.archlinux.org/packages/gnome-shell-extension-autohide-topbar
Search Criteria
Package Details: gnome-shell-extension-autohidetopbar 2.0-1
Package Actions
| Package Base: | gnome-shell-extension-autohidetopbar |
|---|---|
| Description: | Auto hide the top panel |
| Upstream URL: | https://extensions.gnome.org/extension/42/auto-hide-top-panel/ |
| Category: | gnome |
| Licenses: | |
| Submitter: | dongfengweixiao |
| Maintainer: | None |
| Last Packager: | None |
| Votes: | 5 |
| First Submitted: | 2011-12-09 04:37 |
| Last Updated: | 2011-12-09 04:37 |
Dependencies (1)
Required by (0)
Sources
Latest Comments
Anonymous comment
Comment by epinephrine
There's apparently an updated version by WebUpd8, see http://www.webupd8.org/2012/05/gnome-shell-autohide-top-bar-for-gnome.html which also gives a download link for non-ubuntu users.
And there is the extension https://extensions.gnome.org/extension/208/panel-settings/ which provides kind of a workaround... But it's not a simply double click anymore ;)
Comment by epinephrine
only present for gnome 3.2. if u wanna use it for gnome 3.2, you gotta add "-3.2" to the "gnome-shell-extension" part in the source url of the pkgbuilt file.