On Jun 17, 2013 8:00 AM, "Jyrki Kuoppala" <j...@iki.fi> wrote: > I wonder if it is perhaps some kind of setting - or if it's a bug, I'm willing to try newer versions of gnome shell and/or patches, or maybe take a go at fixing it myself.
It is a bug, see https://bugzilla.gnome.org/show_bug.cgi?id=697192
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
