[Agda] Agda and Aquamacs
Wouter Swierstra
wss at Cs.Nott.AC.UK
Thu Jun 19 15:41:50 CEST 2008
> Perhaps I'm missing something, but why is it that the frame that
> loses focus change to another font? The frame that opens with the
> new file does open with my default font.
This might be an Aquamacs peculiarity. Try adding this line to your ~/
Library/Preferences/Aquamacs Emacs/Preferences.el
'(one-buffer-one-frame-mode nil nil (aquamacs-frame-setup))
This shouldn't open a new window for every buffer. It might fix your
problem together with '(agda2-change-default-font nil).
Hope this helps,
Wouter
This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.
More information about the Agda
mailing list