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 ? Thanks in advance! Florian _______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
