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

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