dolfin team mailing list archive

[Johan Hake <hake@xxxxxxxxx>]

[snip]

> PS: Use emacs with -fn 10x20 for nicer fonts.

Or, for _really_ nice fonts, use emacs with gtk backend which support 
anti-aliasing, together with your prefered font.

For example:
emacs-snapshot-gtk --enable-font-backend --font Courier10Pitch-8

I have the above line as alias for emacs.

Cheers!

Johan