最初に余談だが、vscodeの設定箇所はいくつもあってたまにわからなくなる。User SettingとWorkspace Settingが分かれて存在している。基本的な考え方として、自分が利用する設定はUser Settingに書けばいい。Workspace Settingには、Workspace固有の設定を書…