# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1506853283 -7200
# Node ID 318f0434d8301a73a0af6debc13852c917842014
# Parent  918e38622a48279aa79fd43cd3b211f49ab5cec9
core (xmlui): container now keep a list of children

diff -r 918e38622a48 -r 318f0434d830 src/tools/xml_tools.py
--- a/src/tools/xml_tools.py	Sun Oct 01 12:21:23 2017 +0200
+++ b/src/tools/xml_tools.py	Sun Oct 01 12:21:23 2017 +0200
@@ -412,6 +412,7 @@
         @parent: parent element
         """
         assert self.type is not None
+        self.children = []
         if not hasattr(self, 'elem'):
             self.elem = parent.xmlui.doc.createElement(self.type)
         self.xmlui = xmlui
@@ -427,6 +428,7 @@
         """
         self.elem.appendChild(child.elem)
         child.parent = self
+        self.children.append(child)
         return child