2010/8/4 Emily Dirsh <emily(a)fightingcrane.com>:
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.
That's... excellent!
Have you contacted the gnome-shell team about this? I'm sure they'd
love to hear about it and maybe put it on the gnome-shell homepage for
others.
If only I could get gnome-shell to work, then I could've tried this
out... Tried to build it this afternoon but no luck yet. :(
Jef