Minor IDE bug -- renaming device doesn't change name in sidebar until browser reload (Chrome)

Agent Code
1

as stated

2

no need for a browser reload, a page reload is sufficient.

3

Occurs using Safari as well, fwiw.

4

thanks, added to our list of bugs.