-
|
I wanted to change it to something else but I can't find where the setting is. |
Beta Was this translation helpful? Give feedback.
Answered by
fredvs
Nov 27, 2022
Replies: 1 comment
-
|
The font of editor is defined by the project options:
If you prefer to have your own config for all projects, independent of the options of the project, go to menu / Settings / Extra settings and, in right side of window, select in Source Editor: "X Use those options instead of project options".
|
Beta Was this translation helpful? Give feedback.
0 replies
Answer selected by
fredvs
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The font of editor is defined by the project options:
If you prefer to have your own config for all projects, independent of the options of the project, go to menu / Settings / Extra settings and, in right side of window, select in Source Editor: "X Use those options instead of project options".
And set all the values that follow like you want.