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" <j...@iki.fi
<mailto: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
