On Fri, Jun 03, 2011 at 12:30:48PM +0200, sguazt wrote: > On Fri, Jun 3, 2011 at 11:24 AM, Olav Vitters <olav@xxxxxxxxxx> wrote: > > On Thu, Jun 02, 2011 at 09:52:48PM +0100, Ron Yorston wrote: > >> Have you tried my GNOME Shell frippery extensions? > >> > >> http://intgat.tigress.co.uk/rmy/extensions/index.html > > > > Some of that functionality is already available in extensions. > > > > For the new functionality, could you propose them in GNOME Bugzilla for > > gnome-shell-extensions? > > https://bugzilla.gnome.org/enter_bug.cgi?product=gnome-shell&component=extensions > > > > Done: https://bugzilla.gnome.org/show_bug.cgi?id=651771 I actually meant getting those frippery extensions in the gnome-shell-extensions repository :) But filing bugs for missing functionality is still good, to ensure developers are aware (they could end up disagreeing, but you'll never know for sure until you file a bug) -- Regards, Olav -- users mailing list users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines