Alterando a Fonte do Editor de Texto Padrão

É possível alterar a fonte do editor de texto padrão na página de preferências Editor de Texto Padrão (Janela > Preferências > Workbench > Editor de Texto Padrão).