It's already there I think https://bugzilla.gnome.org/show_bug.cgi?id=710610
On Wed, Nov 20, 2013 at 10:11 AM, Donato Marrazzo <donato.marra...@gmail.com > wrote: > +1 > We should open a bug report somewhere? > Thank you > > _______________________________________________ > gnome-shell-list mailing list > gnome-shell-list@gnome.org > https://mail.gnome.org/mailman/listinfo/gnome-shell-list > > -- Mads Villadsen <m...@krakoa.dk>
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
