Re: [GNOME3] Gain vertical space



On Wed, May 04, 2011 at 11:53:07AM +0800, Frederic Muller wrote:
Hi!

It's all css and easily changeable. There is a blog post here that
goes through some of the customization (which works without
installing any extension):
http://blog.fpmurphy.com/2011/03/customizing-the-gnome-3-shell.html

namely this part:

"As stated previously, the default GNOME Shell theme is Adwaita. You
can modify this theme by editing
/usr/share/themes/Adwaita/metacity-1/metacity-theme-3.xml. One of
the more interesting sections of this configuration file is:

You are suggesting to modify a system file, is there any way to do
this per-user instead?

/M

--
Magnus Therning OpenPGP: 0xAB4DFBA4
email: magnus@xxxxxxxxxxxx jabber: magnus@xxxxxxxxxxxx
twitter: magthe http://therning.org/magnus


Perl is another example of filling a tiny, short-term need, and then
being a real problem in the longer term.
-- Alan Kay

Attachment: pgp4MgJbYP4qP.pgp
Description: PGP signature

_______________________________________________
gnome-list mailing list
gnome-list@xxxxxxxxx
http://mail.gnome.org/mailman/listinfo/gnome-list