devtools
[Property Editor] Use new DTD api to check if the connection is closed
#9066
Merged

Loading