Frederic Muller | 4 May 07:25 2011

Re: [GNOME3] Gain vertical space

On 05/04/2011 12:55 PM, Magnus Therning wrote:
> 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):
>> 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

I am not suggesting to modify a system file, I'm quoting a small section 
out of a long blog post (and therefore out of context).

I am just pointing out where the info is available, sorry for not spoon 
feeding, but it's not my thing.

The proper way to do that would be to create a new theme based on the 
default one and use that new theme to make the changes. I think (though 
I do not know) that themes are per user.