Updated for Gnome Shell 3.8