# HG changeset patch
# User lbessard
# Date 1214929842 -7200
# Node ID ca6ad333aa801f00c614e9ae01d6d0d17c974c4c
# Parent  f0482f1ae901bbdf4af345570550b38ef1730e17
Warning with StaticBoxSizer fixed

diff -r f0482f1ae901 -r ca6ad333aa80 Beremiz.py
--- a/Beremiz.py	Tue Jul 01 18:29:42 2008 +0200
+++ b/Beremiz.py	Tue Jul 01 18:30:42 2008 +0200
@@ -979,7 +979,7 @@
             if element_infos["type"] == "element":
                 staticbox = wx.StaticBox(id=-1, label=element_infos["name"], 
                     name='%s_staticbox'%element_infos["name"], parent=parent,
-                    pos=wx.Point(0, 0), size=wx.Size(0, 0), style=0)
+                    pos=wx.Point(0, 0), size=wx.Size(10, 0), style=0)
                 staticboxsizer = wx.StaticBoxSizer(staticbox, wx.VERTICAL)
                 if first:
                     sizer.AddSizer(staticboxsizer, 0, border=0, flag=wx.GROW|wx.TOP)
@@ -1013,7 +1013,7 @@
                             choicectrl.Append(choice)
                         staticbox = wx.StaticBox(id=-1, label="%(name)s - %(value)s"%element_infos, 
                             name='%s_staticbox'%element_infos["name"], parent=parent,
-                            pos=wx.Point(0, 0), size=wx.Size(0, 0), style=0)
+                            pos=wx.Point(0, 0), size=wx.Size(10, 0), style=0)
                         staticboxsizer = wx.StaticBoxSizer(staticbox, wx.VERTICAL)
                         sizer.AddSizer(staticboxsizer, 0, border=5, flag=wx.GROW|wx.BOTTOM)
                         self.RefreshSizerElement(parent, staticboxsizer, plugin, element_infos["children"], element_path)