Flavio Codeco Coelho wrote:
> How do I chenge the font size on the editor?
At the bottom of the Boa Explorer tree there is a Preferences
node, open it and select the Source node under it.
In the list on the right double click the Python node
to open the editor for fonts, colours and sizes.