On Thu, Dec 5, 2013 at 3:29 PM, Donato Marrazzo <donato.marra...@gmail.com> wrote: > > Is it a bug? Or is it working as designed?
The latter, see https://bugzilla.gnome.org/show_bug.cgi?id=686984. _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
