--- 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)