Bug#767173: gnome-shell: Display freezes but mouse stays operational

[Marcus Lundblad]

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