Como alterar a fonte padrão no mit-scheme / edwin?

3

Estou executando mit-scheme v9.0.1 no Arch Linux e fiquei me perguntando como posso alterar a fonte padrão do editor edwin . De preferência, eu gostaria de usar a mesma fonte padrão que usa Emacs .

Eu sei sobre o arquivo .edwin para personalizar edwin , mas não consigo encontrar nenhuma informação sobre como alterar a fonte padrão.

    
por cschol 06.11.2010 / 20:47

1 resposta

4

Coloque isso no seu .edwin :

((ref-command set-font) "9x15")
((ref-command set-frame-size) 163 90)

Além disso, consulte este arquivo de configuração de exemplo .

    
por 19.02.2011 / 16:47

Tags