Actually, this is fixed in gnome-shell 3.3.5 which is available from the GNOME3 Team PPA (https://launchpad.net/~gnome3-team/+archive/gnome3).
Actually, this is fixed in gnome-shell 3.3.5 which is available from the GNOME3 Team PPA (https:/ /launchpad. net/~gnome3- team/+archive/ gnome3).