# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1440509956 -7200
# Node ID 55cff13b1f109aee1aa240351f5c990ae294437c
# Parent  039d96e131be9ac2940f20e86fb9ce32f8a7b63c
core (xmlui): reverted change from 039d96e131be: we should be able to recreate the same container with changeContainer

diff -r 039d96e131be -r 55cff13b1f10 src/tools/xml_tools.py
--- a/src/tools/xml_tools.py	Tue Aug 25 14:41:42 2015 +0200
+++ b/src/tools/xml_tools.py	Tue Aug 25 15:39:16 2015 +0200
@@ -365,7 +365,7 @@
 
     def append(self, child):
         """Append a child to this element.
-        
+
         @param child (Element): child element
         @return: the added child Element
         """
@@ -571,7 +571,7 @@
         @param name (unicode): tab name
         @param label (unicode): tab label
         @param selected (bool): set to True to select this tab
-        @param container (class): container class, inheriting from Container 
+        @param container (class): container class, inheriting from Container
         @return: the container for the new tab
         """
         if not label:
@@ -1172,8 +1172,7 @@
         @param container: either container type (container it then created),
                           or an Container instance"""
         if isinstance(container, basestring):
-            if not isinstance(self.current_container, self._containers[container]):
-                self.current_container = self._createContainer(container, self.current_container.getParentContainer() or self.main_container, **kwargs)
+            self.current_container = self._createContainer(container, self.current_container.getParentContainer() or self.main_container, **kwargs)
         else:
             self.current_container = self.main_container if container is None else container
         assert isinstance(self.current_container, Container)