For the panel itself or for the window borders and gtk colour themes too? At the moment they are all together but you can customise them separately. My question is really are we going to use the appearance manager to set everything? It doesnt look like anyone has discussed this much. On Tue, 2009-12-22 at 20:04 +0000, Bob Hazard wrote: > I believe the plan is to support CSS theming > > 2009/12/22 Shane Fagan <[email protected]>: > > At the moment we have with gnome panel the ability to set colour, set > > the transparency or use a background image. Have we discussed what gnome > > shell's customisations will be like? Will they be the same as > > gnome-panel currently? > > > > Regards > > Shane Fagan > > > > _______________________________________________ > > gnome-shell-list mailing list > > [email protected] > > http://mail.gnome.org/mailman/listinfo/gnome-shell-list > >
_______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
