A port of the window-picker-applet to Gnome 3