2010/8/4 Emily Dirsh <emily@xxxxxxxxxxxxxxxxx>: > 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 _______________________________________________ design-team mailing list design-team@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/design-team
