RessourceEditor.py
changeset 124 635d0817508c
parent 121 40b91ba978db
child 145 4fb225afddf4
--- a/RessourceEditor.py	Tue Nov 27 12:57:39 2007 +0100
+++ b/RessourceEditor.py	Tue Nov 27 12:58:34 2007 +0100
@@ -326,8 +326,8 @@
         parent.AddWindow(self.DownTaskButton, 0, border=0, flag=0)
 
     def _init_coll_MainGridSizer_Items(self, parent):
-        parent.AddSizer(self.TasksSizer, 0, border=0, flag=wx.GROW)
-        parent.AddSizer(self.InstancesSizer, 0, border=0, flag=wx.GROW)
+        parent.AddSizer(self.TasksSizer, 0, border=5, flag=wx.GROW|wx.TOP|wx.LEFT|wx.RIGHT)
+        parent.AddSizer(self.InstancesSizer, 0, border=5, flag=wx.GROW|wx.BOTTOM|wx.LEFT|wx.RIGHT)
 
     def _init_coll_MainGridSizer_Growables(self, parent):
         parent.AddGrowableCol(0)