Also not fixed for me on fully patched Ubuntu 13.04 running gnome shell as packaged by the gnome team (ubuntu-gnome).
Also not fixed for me on fully patched Ubuntu 13.04 running gnome shell as packaged by the gnome team (ubuntu-gnome).