Weight parameter of editor.font in preferences.txt is ignored

[janhesmert]

The font weight of the Editor window cannot be changed via editing ~/Library⁩/⁨Arduino15⁩/preferences.txt. It is possible to edit the chosen font and also the size via

editor.font=[Font name],[weight],[size]

However, the entry for [weight] is ignored. Putting "bold", "plain", "italic" etc. seems to have no effect.

[trainman75]

Not sure if related, I'm using 1.8.8 on MacOS 10.14.4 beta, and the tab and console headings are quite unreadable. I can see changes after editing theme.txt, including font weight and size, but the resolution of the font, regardless of size, is terrible.

Apologies if it isn't related, I'm happy to log a new issue if that is more appropriate.