12 June 2011

// // 12 comments

Auto hide gnome-shell top bar

I have made packages for a nice little gnome-shell extension by Finnbarr P. Murphy, to make it possible to auto hide the top bar.

Install it with (as root):
yum install http://timlau.fedorapeople.org/files/gnome-shell/extensions/\
gnome-shell-extension-autohidetopbar-1.0-1.fc15.noarch.rpm

logon/logoff to load the plugin (or restart the gnome shell with Alt-F2 and type 'r' + Enter)

Double click on a blank part of the gnome-shell top bar to turn auto hide on/off.

Fedora review request here