The editor is very useful and I use it all the time.

Is it possible to change the font in the built-in MMBasic editor?

Font 1 is fine, but font 7 would also be suitable for comfortable working. Font 8 would be for large screens and extreme cases.

That way, I could fit more text on the screen and have longer lines.

Many thanks.