Ouverture du panneau Préférences

Pour ouvrir le panneau Préférences pour définir les préférences des plug-ins Eclipse :

Le panneau Préférences apparaît (voir Utilisation du panneau Préférences).

Rubrique parent :