devtools

[Property Editor] Use new DTD api to check if the connection is closed

#9066

Merged