How to change editor font weight?

Development Tools IDE 1.x
1

I've been trying to change the editor font weight into bold in Arduino IDE but to no avail. I've successfully changed the font face and size, but never the weight. What did I do wrong?

This is my font configuration in the preferences.txt file:

editor.font=Droid Sans Mono,Bold,17

I tried bold with uppercase Bold and lowercase bold but I still haven't gotten it to work at all. Does anyone have any idea how to make the editor texts bold? My eyes get tired easily when I try to read thin texts especially in computer screens so I really want to make it bold :confused: :confused: .. I could go for a more advanced editor like platformio on vscode but I'm really fond of simplicity so I still opt for Arduino IDE. any help would be appreciated...

2

It seems the font style portion of editor.font is ignored by the Arduino IDE. There is a bug report about it here:

I think your only option would be to change to a font that is heavier.

Another solution would be to use an external text editor to edit your code but continue using the Arduino IDE to do compilations and uploads. That adds a bit of complexity but not so much as switching to PlatformIO. There is an option in the Arduino IDE: File > Preferences > Use External Editor which disables editing in the Arduino IDE so you can use any text editor you like to edit the sketches.

3

No idea but Mr Google has plenty, found this:

4

Unfortunately there's no difference between:

editor.font=Monaco,bold,20

and:

editor.font=Monaco,plain,20
5

Thanks for all the answers.
So I guess I'll just have to find heavier fonts as switching between the IDE and an external editor is still too much of a hassle for me. Do you have any suggestions? I'm placing my bet on Fira Code as it's a little bit thicker than any of the fonts that I've found.