On Wed, Apr 27, 2011 at 09:50:50AM +0200, Timur Kristóf wrote:
There was a thread about these things on this list a couple of days
ago,
called "customization of themes and colors in gnome 3 desktop in Fedora
15", you may want to read that.
Thanks for the reply. I had already read this thread.
We don't know yet if Gnome upstream has any plans of making these
customizations official, but you can customize your Gnome shell today.
Install the packages gnome-tweak-tool and
gnome-shell-extensions-user-theme. Then you can just grab a theme of
your liking from the
http://gnome-shell.deviantart.com/gallery/28081982
page (there are some lighter ones like Elementary or Smooth Inset) and
apply them with the tool.
I am looking into this.
Alexander