Windows Terminalには、「defaults.json」と「setting.json」という2種類の設定ファイルがある。実際にユーザーが編集するファイルはsetting.jsonのほうになる。以前にも触れたが、プレビュー版の頃のファイル名は「profile.json」だったが、正式版になるにあたってsettion ...