I think this is probably the same bug that happens whenever I right-click on the desktop. Using alt+f2 r to restart gnome-shell brings it back to normal.
//Marcus -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
