Comment 10 for bug 930402

I'm using version 3.6.2-0ubuntu0.2 of gnome-shell and the problem seems to persist, but it really doesn't bother me because there's an easy way to restart gnome-shell: press Alt+F2 and type the command "r" (without quotes) followed by Enter.