Have a dev center configured with a dev box definition, dev box pool, and dev box project configured.
In Dev Home, from the left menu, select Environments.
Select Create Environment, select Microsoft Dev Box, and then select Next.
On the Configure your environment page, select your project and check whether the selectable pool is displayed correctly.
Then return to Azure and edit the pool, such as deleting an existing pool or creating a new pool.
Go to the Configure your environment page again and check whether the select a pool drop-down box is correct.
Expected result
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
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.
You must restart Dev Home before the 'Select a Pool' drop-down box will display correctly.
Dev Home version
0.1801.640.0
Windows build number
10.0.22631.0
Other software
No response
Steps to reproduce the bug
Expected result
Actual result
Included System Information
No response
Included Extensions Information
No response