Un utilitaire pour parcourir et installer les extensions GNOME Shell. Caractéristiques: Parcourez la liste de extensions.gnome.org directement dans l'application. Gérer les extensions que vous avez déjà installées. L'application est très nouvelle, ayant...