Na verdade, é bem fácil. Selecione Preferências no menu do aplicativo e, em seguida, na guia Configurações . No bloco de notas de configurações, selecione o perfil do terminal que você deseja alterar (geralmente Básico ) e, em seguida, selecione a página Texto (deve ser selecionada já); Font é o primeiro item da página.