Le seguenti preferenze possono essere impostate su questa pagina.
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 |