Qual é a fonte “padrão” para os terminais xubuntu?

Question

Executando o xubuntu 14.04; e hoje eu tive que aumentar o tamanho da fonte para uma apresentação ... e quando eu voltei, cliquei no lugar errado; e agora estou lutando para desfazer isso.

Então, basicamente, tenho duas perguntas:

1. Não tão importante: qual é a fonte padrão usada pelo xubuntu "Terminal emulator"?
2. Existe uma maneira simples de redefinir essas configurações (e talvez outras) de volta para os "padrões de fábrica"? Significado: no eclipse, na maioria das janelas de configuração de "aparência", há um botão "redefinir" que desfaz todas as alterações feitas pelos usuários. Existe tal coisa para o xubuntu?

Answer 1

Então, com alguma ajuda, posso responder minha própria pergunta:

1. A fonte padrão é "DejaVu Sans Mono Book 9"
2. "padrões de fábrica" pode ser restaurado removendo o arquivo de configuração correspondente: rm ~/.config/xfce4/terminal/terminalrc