Niedawno zaktualizowałem do gnome-shell 3.12, ponieważ mój pulpit Unity przestał działać.
Wszystko działa dobrze, z wyjątkiem tego, że moje klawisze multimedialne (głośność, jasność itp.) I skróty ( Ctrl- Alt- T) przestały działać.
Używam Samsung New Series 9 z Ubuntu 14.04. Jednak na pulpicie Plazmy nie ma problemu z klawiaturą.