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