arduino text editor font change

i went to my theme.txt within my arduino\lib folder and added these to make the darn font size bigger

editor.font=Monospaced,plain,15
editor.font.macosx = Monaco,plain,15

but nothing happened. i changed the fnt sizes for some of the other things like header(font size for the tab) and it worked, but the editor font size was the only one i couldn’t change. suggestions?

I’d like to take this post down but don’t know how, i figured out how to edit the size

You should leave your thread as is, and post how you did it. This could solve someone else's problem.

HOW TO CHANGE TEXT EDITOR STUFF:

(this is my file path) C:\Users\Ben\AppData\Roaming\Arduino\preferences.txt

find: editor.font and i trust that you can figure it out from there :)

can also mess with your colors too