Il manque un bouton actualiser les dépôts dès l’onglet Plugins installés ainsi qu’un bouton sélectionner les mises à jour qui sélectionne toutes les mises à jour. Il faut pouvoir mettre à jour les plugins en un minimum de clics. C’est quoi les filtres distribution / hors distribution ? Tu (…)