Cambio del font del editor de textos por omisión

Puede cambiar el font del editor de textos por omisión en la página de preferencias Editor de textos por omisión (Ventana > Preferencias > Entorno de trabajo > Editor de textos por omisión).