Arduino 2 .1.1 を使っていますがフォント変更の設定がありません。
ネットで検索しても Arduino 2 では出来ないということばかりでしたが、やっとこの件について詳しく説明のある記事に出会いました。
Change text and display size settings in Arduino IDE
Ctrl
+ Shift
+ P
でコマンドパレットから設定が出来るようで早速トライ。(基本設定画面を開いた状態)
源ノ角ゴシック JP EL を設定してみました。結果は、
無事フォントが変更され見やすく作業効率が上がります。settinngs.json を確認すると、
フォント設定が追加されています。直接 settinngs.json に書き込み反映されなかったのは記入内容が違っていたようです。
“editor.codeLensFontFamily”: “源ノ角ゴシック JP EL” を直接書き足せば良かったのかもしれません。