@FlorianDiesch, yes (even though that question is sort-of ancient), but user218937, this answer may be the one you need. It seems to have not yet made it to the official repositories, so you have to use the ppa. Gnome 3.8 can work better though
– WilfJan 25 '14 at 21:58
ppa
. Gnome 3.8 can work better though – Wilf Jan 25 '14 at 21:58