Added support for Gnome-Shell 3.12