# HG changeset patch
# User lbessard
# Date 1196164714 -3600
# Node ID 635d0817508c48cdf6d748ef99b7247775cd3fed
# Parent  62f93b8df8166e47a049386704f5980b256d421c
Adding space all around ResourceEditor

diff -r 62f93b8df816 -r 635d0817508c 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)