diff -r b286a16162fc -r 89d20745b061 RessourceEditor.py --- a/RessourceEditor.py Sun Mar 18 21:47:58 2012 +0100 +++ b/RessourceEditor.py Tue Mar 27 23:50:19 2012 +0200 @@ -294,11 +294,11 @@ self.UpTaskButton = wx.Button(id=ID_RESOURCEEDITORUPTASKBUTTON, label='^', name='UpTaskButton', parent=self.Editor, pos=wx.Point(0, 0), - size=wx.Size(32, 32), style=0) + size=wx.Size(32, -1), style=0) self.DownTaskButton = wx.Button(id=ID_RESOURCEEDITORDOWNTASKBUTTON, label='v', name='DownTaskButton', parent=self.Editor, pos=wx.Point(0, 0), - size=wx.Size(32, 32), style=0) + size=wx.Size(32, -1), style=0) self.staticText2 = wx.StaticText(id=ID_RESOURCEEDITORSTATICTEXT2, label=_(u'Instances:'), name='staticText1', parent=self.Editor,