ported to gnome-shell 3.10