This appears to be the same problem (affecting 13.04): https://mail.gnome.org/archives/gnome-shell-list/2013-May/msg00121.html
It affects my install of 12.04 LTS.
This appears to be the same problem (affecting 13.04): /mail.gnome. org/archives/ gnome-shell- list/2013- May/msg00121. html
https:/
It affects my install of 12.04 LTS.