According to upstream (GNOME Shell) developers this problem is in Mutter Window Manager - patch is already available (but rejected by GNOME developer) at https://bugzilla.gnome.org/show_bug.cgi?id=722743
Maybe Ubuntu could apply that patch in Ubuntu GNOME 3.10 Mutter packages?
According to upstream (GNOME Shell) developers this problem is in Mutter Window Manager - patch is already available (but rejected by GNOME developer) at https:/ /bugzilla. gnome.org/ show_bug. cgi?id= 722743
Maybe Ubuntu could apply that patch in Ubuntu GNOME 3.10 Mutter packages?