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

[Michael Franzl]

Originally I wanted to reply to bug #675345, but the reportbug tool 
created a new bug number instead.

I'm not even sure the bug is in gnome-shell. I should have filed the bug 
for the more general package `gnome`.

I can right-click on the desktop without problems.

I have been running Debian Wheezy with standard Gnome on the same laptop 
with all the same hardware for over 2 years, and never experienced any 
freeze. This issue definitely was introduced with Jessie.

Michael