Changing the font size

The font size of the editor panel can be changed with the following actions:

Document->Font size->Increase editor font (Ctrl + NumPad + +)

Increase the font size with one point for each execution of the action.

Document->Font size->Decrease editor font (Ctrl + NumPad + -)

Decrease the font size with one point for each execution of the action.

Document->Font size->Normal editor font (Ctrl + 0)

Reset the font size to the value of the editor font set in Preferences.