copying element children

This commit is contained in:
Gregor Lichtner 2023-05-26 15:42:57 +02:00
parent 55ac916133
commit aaa7490a22
1 changed files with 3 additions and 1 deletions

View File

@ -1368,7 +1368,9 @@ public class Element extends Base {
dest.value = value;
if (children != null) {
dest.children = new ArrayList<>();
dest.children.addAll(children);
for (Element child : children) {
dest.children.add((Element) child.copy());
}
} else {
dest.children = null;
}