I want to change the font size in the editor. There is a help page (https://help.pythonanywhere.com/pages/ChangingFontSize/) on how to change the font size in the console, but not the editor.
When I bring up the showSettingsMenu (
ctrl + ,) and change the font size from the default 12, the font does not change.
Though I only want to change the font size, I should also note that changing any of the settings which take text input...
- Drag Delay
- Font Size
- Print Margin Column
- Scroll Speed
- Tab Size
- Wrap Limit
also do not make changes in the editor. The check-box settings do make changes to the editor.
I am using Firefox 58.0.1. Thanks!