RessourceEditor.py
changeset 80 c798a68c5560
parent 64 dd6f693e46a1
child 90 2245e8776086
equal deleted inserted replaced
79:b22f661cbcfb 80:c798a68c5560
   276 
   276 
   277         self.SetSizer(self.MainGridSizer)
   277         self.SetSizer(self.MainGridSizer)
   278 
   278 
   279     def _init_ctrls(self, prnt):
   279     def _init_ctrls(self, prnt):
   280         wx.Panel.__init__(self, id=ID_RESOURCEEDITOR, name='', parent=prnt,
   280         wx.Panel.__init__(self, id=ID_RESOURCEEDITOR, name='', parent=prnt,
   281               pos=wx.Point(0, 0), size=wx.Size(-1, -1),
   281               size=wx.Size(0, 0), style=wx.SUNKEN_BORDER)
   282               style=wx.SUNKEN_BORDER)
       
   283         
   282         
   284         self.staticText1 = wx.StaticText(id=ID_RESOURCEEDITORSTATICTEXT1,
   283         self.staticText1 = wx.StaticText(id=ID_RESOURCEEDITORSTATICTEXT1,
   285               label=u'Tasks:', name='staticText2', parent=self, pos=wx.Point(0,
   284               label=u'Tasks:', name='staticText2', parent=self, pos=wx.Point(0,
   286               0), size=wx.Size(60, 17), style=wx.ALIGN_CENTER)
   285               0), size=wx.Size(60, 17), style=wx.ALIGN_CENTER)
   287 
   286