objdictgen/objdictedit.py
changeset 410 cbed250c4303
parent 409 f2920812471e
child 418 64a8c24b61a5
equal deleted inserted replaced
409:f2920812471e 410:cbed250c4303
   300     def __init__(self, parent, filesOpen = []):
   300     def __init__(self, parent, filesOpen = []):
   301         self._init_ctrls(parent)
   301         self._init_ctrls(parent)
   302         self.HtmlFrameOpened = []
   302         self.HtmlFrameOpened = []
   303         self.ModeSolo = True
   303         self.ModeSolo = True
   304         
   304         
   305         # Add beremiz's icon in top left corner of the frame
   305         icon = wx.Icon(os.path.join(ScriptDirectory,"networkedit.ico"),wx.BITMAP_TYPE_ICO)
   306         if wx.Platform == '__WXMSW__':
       
   307             icon = wx.Icon(os.path.join(ScriptDirectory,"objdictedit.ico"),wx.BITMAP_TYPE_ICO)
       
   308         else:
       
   309             icon = wx.Icon(os.path.join(ScriptDirectory,"objdictedit.png"),wx.BITMAP_TYPE_PNG)
       
   310         self.SetIcon(icon)
   306         self.SetIcon(icon)
   311         
   307         
   312         self.Manager = NodeManager()
   308         self.Manager = NodeManager()
   313         for filepath in filesOpen:
   309         for filepath in filesOpen:
   314             result = self.Manager.OpenFileInCurrent(filepath)
   310             result = self.Manager.OpenFileInCurrent(filepath)