Change Fonts in RobotC (Maybe Comic Sans MS)

I found a setting that tampers with fonts and font sizes of the editor. I decided to mess with them. I found that changing the font size just changed the font size, nothing weird there. However, when I change the font to something like Terminal, it messes up the spacing and format of the text. It seems like the text overlaps with each other which is strange. Is there any way to use Terminal without this problem occurring? Is there any way to put more fonts into some folder so that I can use those (I want to use Comic Sans MS)?

I’m going to have to dig into this a little more after the holidays, to be honest I have not changed fonts for a long time but I do see the problem, it may be related to high DPI display or something like that. There’s no short term fix but perhaps we can address in the next version.