On Fri, Jun 03, 2011 at 01:01:34PM +0100, 1920119 googlemail com 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: magnus therning org jabber: magnus therning org 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
Attachment:
pgpq5oWPbEiJE.pgp
Description: PGP signature