Gnome 3 有时无响应的临时解决办法

Debian Wheezy 7.1 在运行Gnome 3 桌面时，

有时桌面突然卡住，对于鼠标点击和键盘输入无任何响应（fedora 18 同样存在此问题）。

此问题发生时，鼠标能动，当鼠标分别停留在按钮和文本框上时鼠标形状也能够正常变化；

如果卡住之前开启了音乐播放器，还能听到音乐；

可以使用Ctrl+Alt+F1-F6切换到其他终端。

关于此问题，本人未搜索到彻底的解决办法，

临时的解决办法是：

1. 按Ctrl+Alt+F1（F1换成F2至F6均可）切换到其他终端

2. 登陆

3. ps aux | grep -i gnome-shell

4. kill -9 上个命令中查看到的gnome-shell的PID

5. Ctrl+Alt+F7切换回来

参考：
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=675345