Comment #6 on issue 137 by allen.porter: Custom Fixed Width Fonts
I explored the option of making a UI for changing font settings in the new
apple sdk release, however, since there are only two monospace fonts
(Courier, Courier New) by default I decided to scrap it.
I am renaming this issue to be a bit more general. Perhaps the font to use
should just be configurable via a text file so that you can change it if
you really want to, but there is a sane default for everyone else. Think
that would be sufficient?
Issue 222 has been merged into this issue.