Adding space all around ResourceEditor
authorlbessard
Tue, 27 Nov 2007 12:58:34 +0100
changeset 124 635d0817508c
parent 123 62f93b8df816
child 125 394d9f168258
Adding space all around ResourceEditor
RessourceEditor.py
--- 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)