Save current theme as Your theme, then you will be able to change font size and other options in code editor.
Also if you want change GUI’s fonts mark checkbox “Override default font by” in Appearance section.
Save current theme as Your theme, then you will be able to change font size and other options in code editor.
Also if you want change GUI’s fonts mark checkbox “Override default font by” in Appearance section.