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

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.

Start by reproducing the issue with the editor.font entry in ~/Library/Arduino15/preferences.txt, varying the font name, weight, and size. Trace where editor.font is parsed and applied to the Arduino IDE Editor window, then verify that the weight changes the rendered font while name and size continue to work.

Written by the indexing model from the issue text.