The editor preferences allow the user to specify the font face and size for use in the Editor window.
Usage
To access the user interface preferences, first open the preferences dialog. Next select the tab labeled "Script Editor."
The font face and size can be selected via the dialog controls. A check box is provided to enable anti-aliasing, which makes text more readable at the possible expense of computing power. The new font settings will take effect as soon
as the Ok button is pressed in any new editor tabs.