Change editor font size

Last modified: 11 February 2024

The editor font size is configured as follows:

  • The default font size is set on the Editor | Font settings page  . It will be used in the editor by for all newly opened documents, unless overridden in the current color scheme.

  • The default font size can be overridden in the selected color scheme. That is controlled with the Use color scheme font instead of default checkbox on the Editor | Color Scheme | Color Scheme Font settings page  , and the new font size is also set on that page.

There are also several ways to change the editor font size without specifying it in the settings: