Editor font size?

[Black Dove]

how to edit editor font size or which var to change?

[ozzy47]

What font are you looking to change on the editor? Or do you mean the font when you are typing?