Gnome shell does not restart

view full story

http://askubuntu.com – I'm using Mint but I think it's a valid Ubuntu question, if not then I'm sorry. I'm using a 64-bit Mint 12 (which is built on top of Ubuntu 11.10) and every once in a while (and pretty often) the desktop will start acting weird. Usually only the application I was using stays on top, and other application just won't appear. I don't remember exactly how or where I found this solution but it would be to press "ctrl + alt + F1" then login and then: killall gnome-shell After that I would simply "ctrl + alt + F7" and when I get back the desktop would get back to normal. Lately however this (HowTos)