Arduino IDE 2.xでフォントを変更する方法をまとめます。
2025年3月8日時点、IDEのバージョンは2.3.4です。
(参考サイト:arduino/arduino-ide: Changing font in Arduino IDE 2.X #1755 )
Ctrl + Shift + Pを押し、”Preferences: Open Settings (UI)"を開きます。
VSCodeのような方式を踏襲しているそうで、JSONファイルが開きます。
”editor.fontLigatures": false
という記述を探し、trueに変更します。
(ない場合は追記します。追記する際に前の要素の後にカンマを付加することに注意してください)
"editor.fontFamily": "JetBrains Mono",
を追記すると、下記のように即座に設定が適用されるようです。
指定したいフォントの名前は、Windows設定 > フォント設定で確認できる”完全名”を使用してください。
以上です。”設定”タブ、”settings.json"を閉じていつも通り開発を続けましょう!