As seguintes preferências podem ser definidas nessa página.
Opção
Descrição
Padrão
Fonte do Texto
Clique no botão Alterar para alterar a fonte do editor Java.
Courier Regular 10 pontos