The bug is in mutter and muffin (which is a fork of mutter).
The upstream bug where it was finally fixed: https://bugzilla.gnome.org/show_bug.cgi?id=677116
I'm attaching here the patch that fixes the problem for mutter.
The bug is in mutter and muffin (which is a fork of mutter).
The upstream bug where it was finally fixed: /bugzilla. gnome.org/ show_bug. cgi?id= 677116
https:/
I'm attaching here the patch that fixes the problem for mutter.