Deleting an agent does not remove it from the Data Explorer view
I just deleted an agent and all of the openend Editors were gone with it. But changing to the Data Explorer revealed that it's still in there. We should refresh the view / delete the agent from this selection, too, so that the user cannot perform any action on this anymore.
I was not able to reproduce this, but I fixed that another agent is displayed if available..