[Agda] permanently changing the Agda font

Wolfgang Jeltsch g9ks157k at acme.softbase.org
Tue Sep 15 12:54:33 CEST 2009


Hello,

I have changed the default font of Emacs and stored this setting in my 
~/.emacs file. When I restart Emacs, this font is used. However, when I open an 
Agda buffer, Agda overrules my decision. How can I permanently change the font 
for Agda?

Best wishes,
Wolfgang


More information about the Agda mailing list