Beremiz.py
changeset 317 5378fe2fb4bc
parent 314 ad4db7099355
child 324 01a7b01bf896
--- a/Beremiz.py	Thu Feb 19 14:41:35 2009 +0100
+++ b/Beremiz.py	Wed Feb 25 16:39:11 2009 +0100
@@ -1138,7 +1138,7 @@
                 id = wx.NewId()
                 if isinstance(element_infos["type"], types.ListType):
                     combobox = wx.ComboBox(id=id, name=element_infos["name"], parent=parent, 
-                        pos=wx.Point(0, 0), size=wx.Size(150, 25), style=wx.CB_READONLY)
+                        pos=wx.Point(0, 0), size=wx.Size(150, 28), style=wx.CB_READONLY)
                     boxsizer.AddWindow(combobox, 0, border=0, flag=0)
                     if element_infos["use"] == "optional":
                         combobox.Append("")