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 -- desktop mailing list desktop@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/desktop