After editing a pool on Azure, the pool drop-down box on the Configure your environment page does not automatically update.

[JaydonPj]

Dev Home version

0.1801.640.0

Windows build number

10.0.22631.0

Other software

No response

Steps to reproduce the bug

1. Have a dev center configured with a dev box definition, dev box pool, and dev box project configured.
   
2. In Dev Home, from the left menu, select Environments.
3. Select Create Environment, select Microsoft Dev Box, and then select Next.
4. On the Configure your environment page, select your project and check whether the selectable pool is displayed correctly.
   
5. Then return to Azure and edit the pool, such as deleting an existing pool or creating a new pool.
   
6. Go to the Configure your environment page again and check whether the select a pool drop-down box is correct.

Expected result

1. After editing the pool on Azure, you do not need to restart Dev Home. Return to the Configure your environment page and select a pool again. The edited pool is displayed correctly in the drop-down box.
   

Actual result

1. Return to the Configure your environment page and select a pool again. The pool displayed in the drop-down box remains the same as before the modification.
   
2. You must restart Dev Home before the 'Select a Pool' drop-down box will display correctly.
   

Included System Information

No response

Included Extensions Information

No response