Hi, with Gnome Shell Extensions, programmers can change the Gnome interface!
from Gnome-Tweak-Tool, users can turn on or off a Gnome Shell Extension! Linus Torvalds said: "Hey, with gnome-tweak-tool and the dock extension, gnome-3.2 is starting to look almost usable." - https://plus.google.com/102150693225130002912/posts/WTLyn7dqYoR from the official Gnome Shell Extension web site, users can download, then install a Gnome Shell Extension! - https://extensions.gnome.org/ do you remember, people? I used to ask: - let programmers reposition, add, edit and remove anything in the Ubuntu interface - let users install apps that change the Ubuntu interface from Ubuntu Software Center since Unity competes with Gnome Shell, Unity Extensions will have to be better than Gnome Shell Extensions without downloading, burning and installing a new distro, you can see what I asked: 1. install Gnome Shell (less than 30 MB) from Terminal 2. log out -> where Unity is, select Gnome not Gnome Classic -> log in 3. install Gnome Shell Extensions from PPA 4. install Gnome Tweak Tool from Ubuntu Software Center 5. run Gnome Tweak Tool from Terminal 6. select Gnome Shell Extensions 7. turn Dock and Applications Menu on done! you changed the Gnome interface twice! isn't that cool? Best regards, Pedro Bessa -- Mailing list: https://launchpad.net/~unity-design Post to : unity-design@lists.launchpad.net Unsubscribe : https://launchpad.net/~unity-design More help : https://help.launchpad.net/ListHelp
