設定画面。既定のエージェントは「GitHub Copilot」だが、他のエージェントへ切り替えることも

設定画面。既定のエージェントは「GitHub Copilot」だが、他のエージェントへ切り替えることも