[Agda] Agda and Aquamacs

[WILSON F.A.J.]

In the options group (M-x customize-group RET agda2 RET)
have you tried setting "Change Default Font" to "Don't change"?
I could be wrong, but I think this will get rid of the behaviour 
you are describing. (Given Monaco is your default font, it should 
not need to be changed when loading agda files since it should 
have all the glyphs. I think....)

Frank



-----Original Message-----
From: agda-bounces at lists.chalmers.se on behalf of Sean Leather
Sent: Wed 18/06/2008 22:37
To: Agda List
Subject: [Agda] Agda and Aquamacs
 
Hi,

I'm using Aquamacs[1], an Emacs derivative, on the Mac to work with Agda.
I've tried just about every possible graphical Emacs option available, and
Aquamacs seems to work the best. It's a nice editor (excluding the fact that
I'm not an Emacs user), but I'm having at least one annoying problem with
it.

I have set the default font to 12-pt Monaco. Suppose I have a window X with
some file (it doesn't matter what) open in Aquamacs. Then, I open an Agda
file in a new window Y. The text of window X changes to a proportional (not
fixed-pitch) font (Abadi MT Condensed Extra Bold, which happens to be first
in the list, alphabetically). The text in Y is Monaco as I would expect. If
I open a non-Agda file in Y instead, the font of X does not change.

I know at least one other person who has the exact same problem. Has anybody
else seen this and/or figured out how to fix it?

Thanks,
Sean


-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20080619/692be47a/attachment.html