I spent the past couple of weeks working on a fix for this bug. It is now completed and awaiting review by the Gnome developers. It may also be released into Ubuntu sooner than that, depending on when Ubuntu gets more updates to the mutter and gnome-shell packages.
Thanks Alex.
I spent the past couple of weeks working on a fix for this bug. It is now completed and awaiting review by the Gnome developers. It may also be released into Ubuntu sooner than that, depending on when Ubuntu gets more updates to the mutter and gnome-shell packages.