[sad]

I am a big fan of gnome-shell. I'll be an even bigger fan when it plays nicely with VirtualBox. Or is it VirtualBox that has to play nicely with gnome-shell?