Updated for gnome-shell 3.14.

No functional changes.