Can we have an option to change the console font size? (on GNUx and Windows anyway, I know there's an issue on Mac).
I had a go at adding this feature myself. I can add the option to the settings screen no problem, but I couldn't figure out how to implement the setting.
