2021年11月17日 | そう備忘録

日付アーカイブ: 11月 17, 2021

0

Arduino IDEのフォントを変更した件

Arduino や ESP32 の開発環境の Arduino IDE のフォントをデフォルトから変更した時の備忘録。preferences.txtのeditor.fontエントリーを変更することでフォントとサイズを変更する事ができる。