Comment 7 for bug 1214126

@Christopher and developers.

I linked a branch where you can select the font. Its good as a start, but the font entries are manually added and should really have a way to add them depending on the directory. Anyway; You should be able to easily switch to different fonts, which brings me to ubuntu mono:

The trouble with ubuntu mono, is that the bottom of the characters are cut off, and so it needs a little bit of work.