Added support for gnome shell 3.10