support for gnome-shell v3.10 (tested by mightymouse2045)

https://github.com/sustmi/gnome-shell-extensions-sustmi/issues/20