On Fri, Jun 03, 2011 at 01:01:34PM +0100, [email protected] wrote: > On Gnome 2 at least (Gnome 3 may have similar functionality, if not > it's a serious regression), open a terminal and enter > > gnome-appearance-properties > > or find the 'Appearance' entry on one of the menus. > From there, it should be possible to choose a theme. Some themes have > smaller icons, and additional themes can be downloaded. Some of these > have been optimised for saving space. > > Hope this helps.
I don't think this is available in Gnome3 yet (I do hope it will be at some point). For now I think you'll have to go in and edit the theme directly. You can read about how to do it at http://blog.fpmurphy.com/2011/03/customizing-the-gnome-3-shell.html (and if you want to do it on a per-user basis then you can look at my addendum to it: http://therning.org/magnus/archives/933). /M -- Magnus Therning OpenPGP: 0xAB4DFBA4 email: [email protected] jabber: [email protected] twitter: magthe http://therning.org/magnus Most software today is very much like an Egyptian pyramid with millions of bricks piled on top of each other, with no structural integrity, but just done by brute force and thousands of slaves. -- Alan Kay
pgpCKZmmdP0is.pgp
Description: PGP signature
_______________________________________________ gnome-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-list
