Change editor font size

[kyl27]

The current font size for the editor is very small. Could you add a font size setting, or increase the default font size?

Thanks,

Kevin