Updated for gnome-shell-3.12