Dear gnome friends!
After todays dist-upgrade your gnome-shell will be broken.
http://bugs.debian.org/712861
[edit: A patched gnome-shell was uploaded to debian unstable main.]
cheers!
musca
There is a Patch (http://paste.debian.net/11546/) for the file /usr/share/gnome-shell/js/ui/status/bluetooth.js
the cure!
type these commands as root to apply the patch:
wget -O gb38.patch http://goo.gl/TxHhI
patch /usr/share/gnome-shell/js/ui/status/bluetooth.js gb38.patch
cheers!
musca
That patch didn't work for me so using Fluxbox at the moment to be able to get to a desktop
EDIT: the new version of gnome-shell that just hit the repos now works fine and problem is fixed