[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 _______________________________________________ DOLFIN-dev mailing list [email protected] http://www.fenics.org/mailman/listinfo/dolfin-dev
