# HG changeset patch
# User lbessard
# Date 1235576351 -3600
# Node ID 5378fe2fb4bc524329691b99cccbc1cd5a7c79d0
# Parent  4e02160de04ab72294d9f7fbb129605df2b92566
Fix size of ComboBoxes

diff -r 4e02160de04a -r 5378fe2fb4bc Beremiz.py
--- 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("")