[Agda] permanently changing the Agda font

[Wolfgang Jeltsch]

Am Dienstag, 15. September 2009 20:33:43 schrieben Sie:
> On 2009-09-15 11:54, Wolfgang Jeltsch wrote:
> > 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?
>
> M-x customize-group agda2, set "Agda2 Fontset Name" to "Do not change
> the font".

Works perfectly. :-)  Thanks a lot.

Best wishes,
Wolfgang