Você pode acessar o menu do shell clicando com o botão direito do mouse no canto superior esquerdo da janela:
Delá,sevocêquiserfazerumamudançapermanente,selecione"Defaults", para mudar apenas o shell desta sessão, selecione "Propriedades". Ambas as opções abrem uma janela semelhante. Selecione a guia "Fonte" e, em seguida, selecione a fonte e o tamanho desejados.
