Editor Java

Le seguenti preferenze possono essere impostate su questa pagina.

Preferenze dell'editor Java

Opzione

Descrizione

Impostazione predefinita

Tipo di carattere del testo

Fare clic sul pulsante Cambia per cambiare il tipo di carattere per l'editor Java.

Courier Regular 10 point