Editor de Java

En esta página pueden establecerse las preferencias siguientes.

Preferencias del editor de Java

Opción

Descripción

Por omisión

Font del texto

Pulse el botón Cambiar para cambiar el font para el editor de Java.

Courier Regular de 10 puntos