Window manager and application launcher for GNOME