Jonas Kümmerlin

Gnome Shell 3.8 port

1

please note that this also removes compatibility with 3.4 and 3.6, you might want to reimplement my changes if you want to keep it.

This is not only simpler, it also works (unlike the previous code).