けっこう速いのはよかったです。 でもインストールした拡張機能がどこから設定するべきなのかが分か…

けっこう速いのはよかったです。

でもインストールした拡張機能がどこから設定するべきなのかが分からなかったです。テーマもどうしたら変更できるのかも分かりませんでしたし。
該当しそうな、メニューの「エクステンション」を確かめてみても、インストールした拡張機能はありませんでした。
結局どこにあったのかは謎のままです。