Any way to change the Editor Font?

I can't see how to change the font used by the script editor. Is this possible? Maybe via an .ini file or something?

Hi Colin

unfortunately not. That is something that has been asked before but it was never implemented.