#11753

タブの代わりに空白を挿入設定時、TABキーによる空白文字挿入数がおかくなることがあったのが、
v13正式版で直ってるのを確認しました。
ありがとうございました。