Le Gestionnaire de Plugins permet de parcourir tous les plugins disponibles et de les installer rapidement, ainsi que de soumettre votre propre plugin.
Afin d'accéder au Gestionnaire de Plugins, passez à l'onglet Modules complémentaires de l'éditeur et cliquez sur l'icône
Gestionnaire de Plugins.
La fenêtre Plugin Manager (Gestionnaire de Plugins) permet d'accéder à deux onglets : Mes plugins et Marché.
Mes plugins
Dans l'onglet Mes plugins vous pouvez parcourir les plugins installés, les supprimer si nécessaire et installer de nouveaux plugins manuellement.
- Pour supprimer un plugin, trouvez-le dans la liste des plugins installés et cliquez sur le bouton Supprimer en dessous.
- Pour installer un plugin manuellement, cliquez sur le lien Installer le plugin manuellement dans le coin supérieur droit de la fenêtre. Vous serez redirigé vers la page "Adding plugins" (Ajouter des plugins).
Marché
Dans l'onglet Marché vous pouvez parcourir tous les plugins qui peuvent être installés ainsi que gérer les plugins qui sont déjà installés.
- Pour installer un plugin, trouvez-le dans la liste et cliquez sur le bouton Installer en dessous. Le plugin sera installé automatiquement et deviendra disponible dans l'onglet Modules complémentaires.
- Pour supprimer un plugin, trouvez-le dans la liste et cliquez sur le bouton Supprimer en dessous.
- Pour soumettre votre propre plugin, cliquez sur le lien Soumettez votre propre plugin dans le coin supérieur droit de la fenêtre. Vous serez redirigé vers la page correspondante de GitHub.