En esta página pueden establecerse las preferencias siguientes.
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