[Aruduino] Arduinoのエディタのタブサイズを変更する

Arduino IDEのデフォルトのタブサイズがなぜか2で使いにくいので変更しました。設定を見ると細かい設定はpreferences.txtを見て、と書いているのでそれっぽいのを探すとeditor.tabs.sizeが定義されていたのでそれを4にしてArduinoを再起動。 editor.tabs.size=4 preferences.txtの居場所はこちらの方がまとめていました…