Thanks, the patch at
https://bugzilla.gnome.org/attachment.cgi?id=245495 fixes it for
me.
Before that I tested compiling 3.8.3 of gnome-shell (&
mutter), but that didn't work, probably some version dependency
issue.
Jyrki
17.06.2013 09:35, Florian Müllner kirjoitti:
On Jun 17, 2013 8:00 AM, "Jyrki Kuoppala" <jkp 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
