Menu Préférences

Proxies La boîte de dialogue Proxies permet de changer de serveur proxy (proxy).
Contrôle de version Sélectionnez le système de contrôle de version que vous utiliserez avec Java Development Environment.
Editeur de source Spécifie les préférences relatives aux actions suivantes de l'éditeur de source :
Clavier Affiche, ajoute ou supprime des affectations (assemblages) de touches correspondant à des groupes fonctionnels de Java Development Environment. Pour plus d'informations, reportez-vous à Préférences clavier.
Entrée console Détermine comment sont interprétées dans la fenêtre Console les entrées programme effectuées par lignes de commande. Pour plus d'informations, reportez-vous à Boîte de dialogue Entrée console.
Générateur Détermine le compilateur Java qu'utilisera Java Development Environment pour compiler vos projets. Pour plus d'informations, reportez-vous à Boîte de dialogue Préférences générateur.
Afficher les étiquettes de barre d'outils Ajoute des étiquettes sous les boutons de la barre d'outils.
Jeu de caractères