Recientemente actualicé a gnome-shell 3.12 porque mi escritorio de la unidad dejó de funcionar.
Todo funciona bien, excepto que mis teclas multimedia (volumen, brillo, etc.) y mis atajos ( Ctrl- Alt- T) dejaron de funcionar.
Estoy usando un Samsung New Series 9 con Ubuntu 14.04. Sin embargo, en un escritorio Plasma no hay problema con el teclado.