Em Sáb, 2011-05-07 às 17:31 +0200, Florian Kuhnt escreveu: > Hello! > > Today I packed the patch of bug 615378 > (https://bugzilla.gnome.org/show_bug.cgi?id=615378) into a new > extension for gnome-shell. Hopefully a lot more people can enjoy it > now: > > https://bugzilla.gnome.org/attachment.cgi?id=187415 > > Can someone guide me to a way how to place the extension to a more > prominent location like > http://git.gnome.org/browse/gnome-shell-extensions ? >
This extension is really great. I hope it lands on gnome-shell instead of gnome-shell-extensions. ;) Cheers, Evandro _______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
