On 5 August 2013 17:18, Alfredo Hernández <[email protected]> wrote: >> Ubuntu Gnome does add the "User Menu" extension as default plus Tweak >> Tool, maybe add the stock "gnome-shell-extensions-common" and that "should" >> be enough of a foot in the door to help. > > Oh, yeah, extensions like "User theme" are completely interesting to be > shipped by default. A guide to install and manage them shall also be added > to the beginners's guide.
The user theme extension and the other "official" gnome-shell-extensions *are* shipped by default in 13.10. Just enable them in Tweak Tool. > I personally think that the new (3.10) default GNOME's wallpaper is > absolutely brilliant. Also, we are planning to do a wallpaper contest to > select the wallpaper we ship (not the default one, but the selection that > can be found in the Background settings). Why not the default one? Jeremy -- Ubuntu-GNOME mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/ubuntu-gnome
