# Le gestionnaire de plugin

Les Plugins sont des modules externes qui peuvent être intégrés à Jedi.

Vous pouvez trouver tous les plugins installés dans la liste de gauche. Lorsque vous sélectionnez un plugin, des informations à son propos apparaissent à droite.

Sélectionnez "ajouter au menu" pour en faire un élément du menu Plugin de Jedi. Sélectionnez "ajouter à la barre d'outil" pour l'ajouter à la barre d'outil de l'éditeur. Le plugin apparaît comme une icône ou comme un composant complet (par exemple un text Field) dans la barre d'outil.

Les 3 boutons au centre contrôlent les plugins et s'expliquent d'eux même.

Les changements doivent être confirmés avant d'être exécutés. Il n'est pas possible d'annuler les changements à l'aide du bouton "Annuler".

Si vous avez des problèmes concernat l'apparence des icones dans la barre d'outil, changez juste sa position à une autre. L'erreur doit disparaître. Ceci est produit par les classes Swing.