It should be possible to change the font of the editor. Currently it's hardcoded
Though I really like "Bitstream Vera Sans Mono" as coding font,
It would be nice to make the font configurable. Also should the default font be a font that's available on the os.