Préférences Eclipse

Définir les préférences

<p<La boîte de dialogue des préférences permet aux utilisateurs d'eclipse="" de gérer leurs informations de configuration de préférences. <="" p="">

Cette boîte de dialogue est gérée via le framework mais d'autres plugins peuvent configurer d'autres pages pour gérer la configuration des préférences.

Nous pouvons ouvrir cette boîte de dialogue en sélectionnant l'élément de menu Préférences via le menu Fenêtre.

La page de préférences est composée de plusieurs catégories. Vous pouvez développer chaque nœud dans le menu de gauche pour afficher la configuration des préférences.

La zone de saisie dans le coin supérieur gauche permet de trouver rapidement la page de préférences. Il vous suffit de saisir les lettres de la page de préférence que vous recherchez dans la zone de saisie pour retrouver rapidement la page de préférence correspondante. Par exemple : saisissez la police pour trouver la page de préférences Police.

Après avoir terminé la configuration de la page de préférences, cliquez sur le bouton OK pour enregistrer la configuration, puis cliquez sur le bouton Annuler pour abandonner la modification.