My Arduino IDE 1.8.10 is using Courier as font, and it's way too faint for me to see properly. I would like to change this to e.g. Consolas (I'm on windows), and I read everywhere, that I should just add Consolas to the list of fonts in the line editor.font in the file AppData/Local/Arduino/preferences.txt. But when I do that and start the IDE, it still starts out with Courier.
Now, here the funny thing: When I open preferences.txt, my change has been overwritten! Any changes I make to that file are overwritten when I start the IDE!
What do I do?