Proxy | Utilizzare la finestra di dialogo Proxy per modificare i server proxy (proxy). |
Controllo versione | Selezionare un sistema di controllo della versione da utilizzare con Java Development Environment. |
Editor del codice sorgente | Consente di impostare le preferenze per le seguenti funzioni dell'editor del codice sorgente: |
Tastiera | Consente di visualizzare, aggiungere o eliminare le assegnazioni ai tasti (associazioni) relative ai gruppi funzionali di Java Development Environment. Per ulteriori informazioni, consultare Preferenze per la tastiera. |
Input di console | Determina la modalità di interpretazione nella finestra della console dell'input dei programmi basati sulla riga di comando. Per ulteriori informazioni, consultare Finestra di dialogo Input di console. |
Builder | Determina il compilatore Java da utilizzare per compilare i progetti. Per ulteriori informazioni, consultare Finestra di dialogo delle preferenze del builder. |
Mostra etichette su barra degli strumenti | Aggiunge le etichette sotto i pulsanti della barra degli strumenti. |
Set di caratteri |