http://forums.linuxmint.com/viewtopic.php?f=198&t=67502&p=510197#p512994
bug report:
https://bugzilla.gnome.org/show_bug.cgi?id=656054
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/816762
