Updated theme-selector

I have updated my theme-selector packages so you can select the default gnome to get back to the default gnome-shell theme.



Install with (as root):

yum install http://timlau.fedorapeople.org/files/gnome-shell/extensions/\
gnome-shell-extension-theme-selector-0.9-3.fc15.noarch.rpm

or if already installed, update with (as root):

yum update http://timlau.fedorapeople.org/files/gnome-shell/extensions/\
gnome-shell-extension-theme-selector-0.9-3.fc15.noarch.rpm

Fedora Package review is still pending here

Read More

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

Read More