Added Gnome Shell 3.10 compability. Further testing may be required...