Utilisez le panneau des préférences pour gérer les préférences des plug-ins Eclipse (Aide, options d'administration par défaut, Connexions réseau, etc.).
Opération
Voir
Ouvrir le panneau Préférences
Ouverture du panneau Préférences
Utiliser le panneau Préférences
Utilisation du panneau Préférences