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 |