<div dir="ltr">Same problem here on more than 20 debian wheezy desktops.<div><br><div><div>ii  gnome-shell                                       3.4.2-7                            amd64        graphical shell for the GNOME desktop</div>
<div>ii  gnome-shell-common                                3.4.2-7                            all          common files for the GNOME graphical shell</div><div>ii  gnome-shell-extensions                            3.4.0-2                            all          Extensions to extend functionality of GNOME Shell</div>
</div></div><div><br></div><div style>This must be the problem:</div><div style><a href="http://lists.debian.org/debian-gtk-gnome/2013/07/msg00000.html">http://lists.debian.org/debian-gtk-gnome/2013/07/msg00000.html</a><br>
</div><div style><br></div><div style><span id="result_box" class="" lang="en"><span class="">I hope</span> <span class="">there will soon be</span> <span class="">an update for gnome-shell.</span></span><br></div></div>