4️⃣
【Arduino IDE 2.3.2】タブ幅(インデント)を変更する方法
2 から4 に変更する
タブ幅をpreferences.txt
を修正することでタブ幅を設定する」という情報が見つかります。
併し乍ら、私の用いる
preferences.txt
に関する項目が抹消されている
本題
変更できないものかと思っていましたが、次の手順で変更できることができました。
- 「
」キーを押してコマンドパレットを開くF1
ショートカットキー以外で開く方法は分かりませんでした
- 「
Preferences: Open User Settings
」を選択する
ユーザー設定でなくワークスペース設定を選択しても大差ありません
両方の設定を行うことができます
- 「
tab 」と検索するsize
初期値は勿論
- 「
Editor: Tab Size
」の値を変更する
一応ワークスペース設定でも
-
Arduino を再起動するIDE
結果
タブ幅を
変更前
変更後
余(一人称)談
タブ幅が
たった一つではあるものの、斯様に不満を解消することができたことは実に気味のよいものです。
Discussion