RessourceEditor.py
changeset 658 89d20745b061
parent 655 435e2d8ee580
child 672 d751b1c609b3
--- 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,