Here's information on workarounds until the UI is fixed: https://bugs.launchpad.net/ubuntu/+source/gnome-control-center/+bug/965921 http://superuser.com/questions/415675/gnome-shell-3-4-and-a-super-key-related-shortcut
Andreas
pgpQZT9CA0nXB.pgp
Description: PGP signature
