Imported source from GNOME-Shell 3.12.