[Design-team] Gnome shell theming plus extension!

Emily Dirsh emily at fightingcrane.com
Wed Aug 4 15:48:34 UTC 2010

At yesterdays design meeting, we talked a bit about gnome-shell theming.
I made a small gnome-shell extension to make it easier. (With the help
of my lovely bf Liam whom I "recruited" ;)) It adds a "button" to the
gnome-shell panel that reloads the theme/css file without having to
restart the Shell. 

You can install it by extracting it to
~/.local/share/gnome-shell/extensions and restarting gnome-shell if it's

If you don't have gnome-shell installed, there is a package for it! :D
Or you can build it from source - there are instructions on the
gnome-shell page.

Once you have the extension installed, just edit the gnome-shell.css
file and click the "Refresh theme" button on the panel to see the

gnome-shell page (with build instructions): 
gnome-shell extensions: 

Download my extension:


PS - I tested it on my own machine, but other than that, you will all
have to be test-monkeys - so let me know if anything goes wonky with the
extension! thx!

More information about the design-team mailing list