I'd only be left with close everything and hit refresh after reopening.

I had similar issues when wanting to change the server the connection was pointing to.