Is there anyway to change the font and font size in the scripting window? It's so tiny it's almost impossible to read in my current screen resolution.

Also, there doesn't seem to be any basic text editor features. Is this some kind of barebones Java Swing text box implementation rather than a real text editor?